Testing Equivalences for Processes (1984)

Cached

Download Links

by R. De Nicola , M. C. B. Hennessy
Venue:Theoretical Computer Science
Citations:405 - 25 self

Active Bibliography

General Terms: Theory – M. Hennessy
Completing categorical algebras and some applications – S. L. Bloom, Z. Ésik - 2006
23 Algebraic Approaches to Nondeterminism - an Overview – Michal Walicki, Sigurd Meldal - 1997
Semantics Of Non-Terminating Systems Through Term Rewriting – José Bernardo dos Santos Monteiro Vieira de Barros - 1995
2 Continuous Additive Algebras and Injective Simulations of Synchronization Trees – Zoltán Ésik - 2000
22 Rational Term Rewriting – A. Corradini, F. Gadducci - 1998
Non-Deterministic untyped λ-calculus -- A study about explicit non determinism in higher-order functional calculi – Ugo de' Liguoro - 1991
40 Formal tree series – Zoltán Ésik, Werner Kuich - 2003
Algebraic Synchronization Trees and Processes – Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir - 2012
6 Non-Deterministic Extensions of Untyped λ-calculus – Ugo de'Liguoro, Adolfo Piperno - 1995
6 Semirings and Formal Power Series – Manfred Droste, Werner Kuich
Algebraic Synchronization Trees and Processes ⋆ Draft dated April 26, 2012 – Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir
22 A Model for the pi-Calculus – M. Hennessy - 1991
Software Technology UNU/IIST Report No. 282 R – August Unu Iist, He Jifeng, Tony Hoare - 2003
Processes and Nets – The Fundamental Processing, The Work Of George Milne
2 Upside down ∀s and algorithms – computational formalisms and theory – Alan Dix
16 On Linguistic Support for Distributed Programs – Barbara Liskov - 1982
Common parallelization strategy of topological operators on SMP machines – Ramzi MAHMOUDI - 2011
11 Robust Safety of Timed Automata – Martin De Wulf , Laurent Doyen, Nicolas Markey, Jean-François Raskin