Cover Image

Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems /

Show other versions (1)

Bibliographic Details
Main Author:	Bowman, Howard, 1966-
Corporate Author:	SpringerLink (Online service)
Other Authors:	Gomez, Rodolfo
Format:	eBook
Language:	English
Published:	London : Springer, [2006]
Subjects:	LOTOS (Computer program language) Machine theory. Parallel processing (Electronic computers) > Mathematical models. Electronic books.
Online Access:	Connect to the full text of this electronic book Publisher description

Similar Items

Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems /
by: Bowman, Howard, 1966-
Published: (2006)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
by: Yoeli, Michael, 1917-
Published: (2008)

Automata for branching and layered temporal structures : and investigation into regularities of infinite transition systemes /
by: Puppis, Gabriele
Published: (2010)

A descriptive catalogue of the several superb and magnificent pieces of mechanism and jewellery, exhibited in the museum, at Spring Gardens, Charing-Cross.
by: Cox, James, approximately 1723-1800
Published: (1772)

Descriptive catalogue of the several superb and magnificent pieces of mechanism and jewellery, exhibited in the museum, at Spring-Gardens, Charing-Cross.
by: Cox, James, approximately 1723-1800
Published: (1772)

Problem solving in automata, languages, and complexity /
by: Du, Dingzhu
Published: (2001)

Kinematics of machinery through HyperWorks /
by: Rao, J. S.
Published: (2011)

Abstract computing machines : a lambda calculus perspective /
by: Kluge, Werner (Werner E.)
Published: (2005)

A concise introduction to languages and machines /
by: Parkes, Alan
Published: (2008)

A course in formal languages, automata and groups /
by: Chiswell, Ian, 1948-
Published: (2009)

Computation engineering : applied automata theory and logic /
by: Gopalakrishnan, Ganesh
Published: (2006)

Concurrency : state models & Java programs /
by: Magee, Jeff, 1952-
Published: (1999)

In our own image : savior or destroyer? : the history and future of artificial intelligence /
by: Zarkadakēs, Giōrgos, 1964-
Published: (2016)

LOTOSphere : software development with LOTOS /
Published: (1995)

Understanding concurrent systems /
by: Roscoe, A. W.
Published: (2010)

LOTOSphere : software development with LOTOS /
Published: (1995)

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever /
Published: (2010)

CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings /
Published: (2007)

Concur 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings /
Published: (2008)

Non-standard parameter adaptation for exploratory data analysis /
by: Barbakh, Wesam
Published: (2009)

Machine learning models and algorithms for big data classification : thinking with examples for effective learning /
by: Suthaharan, Shan
Published: (2016)

CONCUR 2011--concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings /
Published: (2011)

CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; proceedings /
Published: (2009)

CONCUR 2010--concurrency theory : 21st international conference, CONCUR 2010, Paris, France, August 21-September 3, 2010 : proceedings /
Published: (2010)

How to speak machine : computational thinking for the rest of us /
by: Maeda, John
Published: (2019)

CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 : proceedings /
Published: (2006)

Theory and application of linear periodic differential equations which contain a small parameter.
by: Stensby, John L.
Published: (1981)

Communication protocol specification and verification /
by: Lai, Richard, Ph. D.
Published: (1998)

Supervisory control of concurrent systems : a Petri net structural approach /
by: Iordache, Marian Valentin
Published: (2006)

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

Big data : algorithms, analytics, and applications /
Published: (2015)

Logic for concurrency and synchronisation /
Published: (2003)

Programming models for parallel computing /
Published: (2015)

Concurrency and computation.
Published: (2001)

Parallel computing : numerics, applications, and trends /
Published: (2009)

Using MPI : portable parallel programming with the message-passing interface /
by: Gropp, William
Published: (1999)

Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday /
Published: (2008)

Using MPI-2 : advanced features of the message-passing interface /
by: Gropp, William
Published: (1999)

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)

Shared-memory parallelism can be simple, fast, and scalable /
by: Shun, Julian
Published: (2017)