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

    Documents Related by Co-Citation

    3400 Communicating Sequential Processes – C. A. R. Hoare - 1985
    3204 Communication and Concurrency – R Milner - 1989
    1329 A calculus of communicating systems – R Milner - 1980
    393 Algebraic Theory of Processes – M Hennessy - 1988
    655 Concurrency and automata on infinite sequences – D Park - 1981
    1286 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
    311 Calculi for Synchrony and Asynchrony – R Milner - 1983
    189 Structured operational semantics and bisimulation as a congruence – J F Groote, F W Vaandrager - 1992
    53 Bisimulation can't be traced: preliminary report – Bard Bloom, Sorin Istrail - 1988
    92 Bisimulation Equivalence is Decidable for all Context-Free Processes – Søren Christensen, Hans Hüttel, Colin Stirling - 1995
    33 Undecidable Equivalences for Basic Process Algebra – Jan Friso Groote, Hans Hüttel - 1991
    122 A complete inference system for a class of regular behaviours – R Milner - 1984
    217 Algebra of communicating processes with abstraction, Theoretical Computer Science 37 – J A Bergstra, J Klop - 1985
    51 Algèbre de processus et synchronisations – D AUSTRY, G BOUDOL - 1984
    289 The Linear Time-Branching Time Spectrum II - The semantics of sequential systems with silent moves – R.J. van Glabbeek - 1993
    74 On observing nondeterminism and concurrency – M Hennessy, R Milner - 1980
    66 Axiomatizing probabilistic processes: ACP with generative probabilities – J C M Baeten, J A Bergstra, S A Smolka - 1995
    230 Modeling and verification of randomized distributed real-time systems – R Segala - 1995
    37 Probabilistic communicating processes – K Seidel - 1995