Process algebra for synchronous communication (1984)

Cached


Other Repositories/Bibliography

  • DBLP
  • by J. A. Bergstra , J. W. Klop
    Venue:Inform. and Control
    Citations:360 - 51 self

    Active Bibliography

    56 A brief history of process algebra – J. C. M. Baeten - 2004
    6 Metric semantics for reactive probabilistic processes – Gethin Josiah Norman - 1997
    18 Process Algebra with Iteration – Jan A. Bergstra, Inge Bethke, Alban Ponse - 1994
    General Terms: Theory – M. Hennessy
    The N-Nested Simulation Equivalences Are Not Congruences for the Priority Operators – Pedro Ruben D'argenio, Juan Vicente Echagüe, Cecilia Pertino, Fac De Ciencias Exactas, U. Nacional, U. Nacional, La Plata, La Plata
    2 On the Operational Semantics of Nondeterminism and Divergence – Hakan Erdogmus, Robert Johnston, Michael Ferguson - 1995
    228 Domain Theory in Logical Form – Samson Abramsky - 1991
    40 Concurrent Transition Systems – Eugene W. Stark - 1989
    28 Finite equational bases in process algebra: Results and open questions – Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Bas Luttik - 2005
    249 Branching Time and Abstraction in Bisimulation Semantics – Rob J. Van Glabbeek, W. Peter Weijland - 1996
    69 Verification on Infinite Structures – Olaf Burkart, Didier Caucal, Faron Moller, Bernhard Steffen - 2000
    Axiomatizing Weak Simulation Semantics over BCCSP ⋆ – Luca Aceto, David De Frutos Escrig, Anna Ingolfsdottir
    1 Designing and understanding the behaviour of systems – Jan Friso Groote, Michel Reniers - 2007
    6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
    18 Precongruence Formats for Decorated Trace Semantics – Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
    11 Branching vs. linear time – semantical perspective – Sumit Nain, Moshe Y. Vardi
    2 Tools for a Calculus of Broadcasting Systems – Jenny Petersson - 1993
    1 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
    87 Turning SOS Rules into Equations – Luca Aceto, Bard Bloom, Frits Vaandrager - 1994