Bisimulation Congruences in the Calculus of Looping Sequences Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina Dipartimento di Informatica, Universit` a di Pisa

Source URL: pages.di.unipi.it

• Theoretical computer science
• Logic in computer science
• Software engineering
• Computing
• Formal languages
• Formal methods
• Bisimulation
• -calculus
• Monad
• Petri net
• Rewriting
• Lac operon

DYNAMIC SYNC-PROGRAMS FOR MODULAR VERIFICATION OF BIOLOGICAL SYSTEMS Peter Dr´abik, Andrea Maggiolo-Schettini and Paolo Milazzo Dipartimento di Informatica, Universit`a di Pisa

Source URL: pages.di.unipi.it

• Models of computation
• Concurrency
• Computing
• Formal methods
• Diagrams
• Petri net
• Finite automata
• Model checking
• Analog television
• Finite-state machine
• Actor model
• Information and communications technology

PDF Document

Source URL: www.informatica.us.es

PDF Document

Source URL: www.olimpiadi-informatica.it

Corso di Laurea in Ingegneria Informatica e dell’Automazione a.aEsiti appello di Fondamenti di Informatica 17 gennaio 2018

Source URL: sisinflab.poliba.it

UNIVERSITÀ DEGLI STUDI DI UDINE Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea Specialistica in Informatica Tesi di Laurea

Source URL: steve.maraspin.net

Programmazione Corso di laurea triennale in Informatica a.aprimo semestre Prof. Giovanni Pighizzini

Source URL: pighizzini.di.unimi.it

ISTITUTO TECNICO STATALE - SETTORE TECNOLOGICO “ TULLIO BUZZI ” SISTEMA MODA – CHIMICA MATERIALI E BIOTECNOLOGIE – MECCANICA, MECCATRONICA ED ENERGIA – ELETTRONICA ED ELETTROTECNICA – INFORMATICA E TELECOMUN

Source URL: www.itistulliobuzzi.it

Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

Source URL: pighizzini.di.unimi.it

UNIVERSIDADE ESTADUAL DE MARINGÁ CENTRO DE TECNOLOGIA DEPARTAMENTO DE INFORMÁTICA Uma Revisão Sistemática sobre a Implementação de Variabilidades de LPS utilizando POA

Source URL: www.din.uem.br