Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
A Complete Set of Axioms for a Theory of Communicating Sequential Processes
1983-01-01 De Nicola, R
A Completeness Theorem for Nondeterministic Kleene Algebras.
1994-01-01 De Nicola, R; Labella, A
A Homage to Martin Wirsing. Software, Services, and Systems
2015-01-01 De Nicola, R; Hennicker, R
A process calculus analysis of compensations
2009-01-01 Luís, Caires; Carla, Ferreira; MENDES TORRES VIEIRA, H
A Two-Phase Static Analysis for Reliable Adaptation
2014-01-01 Degano, P.; Ferrari, G. L.; Galletta, L.
A type system for flexible role assignment in multiparty communicating systems
2013-01-01 Pedro, Baltazar; Luís, Caires; Vasco Thudichum, Vasconcelos; MENDES TORRES VIEIRA, H
Action and State-based Logics for Process Algebras
1991-01-01 De Nicola, R
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes
1990-01-01 De Nicola, R; Vaandrager, F W
Advanced mechanisms for service combination and transactions
2011-01-01 Carla, Ferreira; Ivan, Lanese; António, Ravara; MENDES TORRES VIEIRA, H; Gianluigi, Zavattaro
AErlang at work
2017-01-01 De Nicola, R; Duong, T.; Inverso, O.; Trubiani, C.
AErlang: Empowering Erlang with Attribute-Based Communication.
2017-01-01 De Nicola, R; Tan, Duong; Omar, Inverso; Catia, Trubiani
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures
1996-01-01 Xiao Jun, Chen; De Nicola, R
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
1991-01-01 De Nicola, R; Fantechi, A; Gnesi, S; Ristori, G
Analysis of service oriented software systems with the Conversation Calculus
2012-01-01 Luís, Caires; MENDES TORRES VIEIRA, H
Back and Forth Bisimulations
1990-01-01 De Nicola, R; Montanari, U; Vaandrager, F W
Behavioral theory for session-oriented calculi
2011-01-01 Ivan, Lanese; António, Ravara; MENDES TORRES VIEIRA, H
Binary and Multi-Class Parkinsonian Disorders Classification using Support Vector Machines
2015-01-01 Morisi, Rita; Gnecco, G; Lanconelli, N; Zanigni, S; Manners, D N; Testa, C; Evangelisti, S; Gramegna, L; Bianchini, C; Cortelli, P; Tonon, C; Lodi, R
Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report)
2017-01-01 Barbi, R.; Buravlev, V.; Mezzina, C; Schiavoni, V
CCS is an (Augmented) Contact Free C/E System.144-165
1986-01-01 Degano, P; De Nicola, R; Montanari, U
CCS without tau's
1987-01-01 De Nicola, R; Hennessy, M
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile