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

Introduction to process algebra /
by: Fokkink, Wan, 1965-
Published: (2000)

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)

Handbook of process algebra /
Published: (2001)

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

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

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

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)

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

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

Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982 /
Published: (1982)

Automata, languages and programming : 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings /
Published: (1998)

Proceedings of the Conference on Ordered Structures and Algebra of Computer Languages : Hong Kong, 26-29 June 1991 /
Published: (1993)

Introduction to probabilistic automata.
by: Paz, Azaria
Published: (1971)

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

Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers /
Published: (2003)

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

Automata, languages and programming : 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings /
Published: (1999)

Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers /
Published: (2003)

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

Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 /
Published: (1978)

Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 /
Published: (1980)

Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 /
Published: (1979)

Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 /
Published: (1981)

Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 /
Published: (1977)

Automata, languages and programming : 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings /
Published: (2000)

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

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

Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers /
Published: (2001)

Algebraic and structural automata theory /
Published: (1991)

Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers /
Published: (2001)

Implementation and application of automata : 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers /
Published: (2002)

Algebraic and structural automata theory /
Published: (1991)

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

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