Process algebra for synchronous communication (1984)

Cached


Other Repositories/Bibliography

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

    Documents Related by Co-Citation

    3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
    3219 Communication and Concurrency – R Milner - 1990
    1330 A Calculus of Communicating Systems – R Milner - 1980
    394 Algebraic Theory of Processes – M Hennessy - 1988
    658 Concurrency and automata on infinite sequences – D Park - 1981
    1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
    312 Calculi for synchrony and asynchrony – R Milner - 1983
    53 Bisimulation can't be traced: preliminary report – Bard Bloom, Sorin Istrail - 1988
    189 Structured Operational Semantics and Bisimulation as a Congruence, Information and Computation 100 – J F Groote, F Vaandrager - 1992
    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
    123 A complete inference system for a class of regular behaviors – R Milner - 1984
    219 Algebra of communicating processes with abstraction – J Bergstra, J Klop - 1985
    53 Algèbre de processus et synchronisations – D Austry, G Boudol - 1984
    290 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
    68 S.: Axiomatizing probabilistic processes: ACP with generative probabilities – J Bergstra, J Baeten, Smolka - 1995
    36 Probabilistic communicating processes – K Seidel - 1995
    233 Modeling and verification of randomized distributed real-time systems – R Segala - 1995