An introduction to milner’s ccs

An introduction to milner’s ccs (2004)

Cached

Download Links

[www.dimi.uniud.it]

by Luca Aceto , Kim G. Larsen , Anna Ingólfsdóttir

Citations:

2 - 0 self

BibTeX

@MISC{Aceto04anintroduction,
    author = {Luca Aceto and Kim G. Larsen and Anna Ingólfsdóttir},
    title = {An introduction to milner’s ccs},
    year = {2004}
}

Bookmark

OpenURL

Abstract

Citations

3116	Communicating sequential processes - Hoare - 1978
1182	A structural approach to operational semantics - Plotkin - 1981
1085	Automatic verification of finite-state concurrent systems using temporal logic specifications - Clarke, Emerson, et al. - 1986
999	The temporal logic of programs - Pnueli - 1977
597	Concurrency and automata on infinite sequences - Park - 1981
448	Algebraic laws for nondeterminism and concurrency - Hennessy, Milner - 1985
447	A Lattice-theoretical Fixpoint Theorem and its Applications - Tarski - 1955
221	Results on the propositional mu-calculus - Kozen - 1983
146	Formal verification of parallel programs - Keller - 1976
120	Semantics with applications: a formal introduction - Nielson, Nielson - 1992
42	On the development of reactive systems: logic and models of concurrent systems”, proc - Harel, Pnueli - 1985
36	On the consistency of Koomen’s fair abstraction rule - Baeten, Bergstra, et al. - 1987
35	A brief history of process algebra - Baeten - 2005
27	Proof systems for satisfiability in HennessyMilner logic with recursion - Larsen - 1990
17	K.G.: Graphical versus logical specifications - Boudol, Larsen - 1992
15	The linear time – branching time spectrum I: The semantics of concrete sequential processes - Glabbeek - 2001