Process algebra /

Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings /
Published: (2001)

Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings /
Published: (2002)

Handbook of process algebra /
Published: (2001)

Handbook of process algebra /
Published: (2001)

CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings /
Published: (1990)

Perspectives in concurrency theory : a festschrift for P.S. Thiagarajan /
Published: (2009)

Lectures on concurrency and Petri nets : advances in Petri nets /
Published: (2004)

Modal logic and process algebra : a bisimulation perspective /
Published: (1995)

Process algebra : equational theories of communicating processes /
by: Baeten, J. C. M.
Published: (2010)

Parallel complexity theory /
by: Parberry, Ian
Published: (1987)

CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings /
Published: (1990)

Parallel processes and related automata = Parallele prozesse und damit zusammenhangende automaten /
Published: (1981)

Dynamic analysis of Petri net-based discrete systems /
by: Karatkevich, Andrei
Published: (2007)

Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedings /
Published: (2008)

Petri nets and other models of concurrency : ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 : proceedings /
Published: (2006)

Information, randomness & incompleteness : papers on algorithmic information theory /
by: Chaitin, Gregory J.
Published: (1987)

Algebraic automata theory /
by: Holcombe, W. M. L. (William Michael Lloyd), 1944-
Published: (1982)

Information and randomness : an algorithmic perspective /
by: Calude, Cristian, 1952-
Published: (1994)

Stochastic complexity in statistical inquiry /
by: Rissanen, Jorma
Published: (1989)

Information and randomness : an algorithmic perspective /
by: Calude, Cristian, 1952-
Published: (2002)

Finite automata, their algebras and grammars : towards a theory of formal expressions /
by: Büchi, J. Richard
Published: (1989)

Algebraic and structural automata theory /
Published: (1991)

Algebraic and structural automata theory /
Published: (1991)

Applied computation theory : analysis, design, modeling /
by: Yeh, Raymond Tzuu-Yau, 1937-
Published: (1976)

Theory of computation /
by: Brainerd, Walter S.
Published: (1974)

Process algebra for parallel and distributed processing /
Published: (2009)

Algebraic structure theory of sequential machines /
by: Hartmanis, Juris
Published: (1966)

Concurrent learning and information processing : a neuro-computing system that learns during monitoring, forecasting, and control /
by: Jannarone, Robert J.
Published: (1997)

Action refinement in process algebras /
by: Aceto, Luca
Published: (1992)

Algebraic theory of automata and languages /
by: Itō, Masami, 1941-
Published: (2004)

Algebraic theory of automata and languages /
by: Itō, Masami, 1941-
Published: (2004)

Automata, languages, and programming : 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 /
Published: (1984)

Process algebra for parallel and distributed processing /
Published: (2009)

Digital system design using FSMs : a practical learning approach /
by: Minns, Peter D.
Published: (2021)

Algebraic theory of machines, languages, and semi-groups /
by: Arbib, Michael A.
Published: (1968)

Automata, languages and programming : 29th international colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 : proceedings /
Published: (2002)