Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Introduction to Concurrency Theory [[electronic resource] ] : Transition Systems and CCS / / by Roberto Gorrieri, Cristian Versari
| Introduction to Concurrency Theory [[electronic resource] ] : Transition Systems and CCS / / by Roberto Gorrieri, Cristian Versari |
| Autore | Gorrieri Roberto |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XI, 334 p. 63 illus.) |
| Disciplina | 004.0151 |
| Collana | Texts in Theoretical Computer Science. An EATCS Series |
| Soggetto topico |
Computers
Computer science—Mathematics Software engineering Mathematical logic Theory of Computation Mathematics of Computing Software Engineering/Programming and Operating Systems Mathematical Logic and Foundations |
| ISBN | 3-319-21491-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Transition Systems and Behavioral Equivalences -- CCS: A Calculus of Communicating Systems -- Algebraic Laws, Congruences and Axiomatizations -- Additional Operators -- Multi-CCS -- Glossary -- References -- Index. |
| Record Nr. | UNINA-9910299203603321 |
Gorrieri Roberto
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Process algebras for Petri nets [[electronic resource] ] : the alphabetization of distributed systems / / by Roberto Gorrieri
| Process algebras for Petri nets [[electronic resource] ] : the alphabetization of distributed systems / / by Roberto Gorrieri |
| Autore | Gorrieri Roberto |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIII, 302 p. 64 illus., 4 illus. in color.) |
| Disciplina | 005.1015115 |
| Collana | Monographs in Theoretical Computer Science. An EATCS Series |
| Soggetto topico |
Computers
Mathematical logic Software engineering Theory of Computation Mathematical Logic and Foundations Software Engineering/Programming and Operating Systems |
| ISBN | 3-319-55559-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Transition Systems -- Petri Nets -- The Basic Calculus: SFM -- Adding Asynchronous Parallel Composition: CFM and BPP -- Adding Communication and Restriction: FNC -- Adding Multi-party Communication: FNM -- Adding Atomic Tests for Absence: NPL -- Generalizations and Conclusions. |
| Record Nr. | UNINA-9910254829603321 |
|
Gorrieri Roberto
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||