My Library

University LibraryCatalogue

For faster,
Use Lean
Get it now
Don't show me again
Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art
Author Kwiatkowska, Marta Zofia.

Title Semantics for Concurrency [electronic resource] : Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK / by Marta Zofia Kwiatkowska, Michael William Shields, Richard Monro Thomas.

Published London : Springer London, 1990.


Location Call No. Status
Physical description 1 online resource (viii, 346 p.)
Series Workshops in Computing, 1431-1682
Workshops in computing.
Summary This volume contains a collection of papers presented at the International Workshop on Semantics for Concurrency, held from 22 to 25 July 1990 at the University of Leicester, UK. The main aim of the workshop was to discuss and seek to identify the positive objective features of the main approaches to semantics for concurrency, and thus to increase understanding between research groups. The field of semantics for concurrency has attracted a number of formalisms, ranging from algebra and automata theory, through logic and topology to category theory. This pluralism provides valuable insight into the nature of concurrency, but when coupled with different views of what issues are important when modeling concurrency, it leads also to disjointed research efforts and lack of communication. Discussions then concentrate on superficial, rather than objective, differences between approaches, and it becomes harder to assess which features of a particular approach are successful in dealing with the problems of concurrent behaviors. This workshop was organized to coordinate research and increase communication. These proceedings include papers on a wide range of issues in concurrency, including: process algebras and equivalences, Petri nets, dataflow networks, logics for concurrency, and denotational, partial-order and real-time semantics.
Other author Shields, Michael William.
Thomas, Richard Monro.
Subject Computer science.
Software engineering.
Electronic books.
ISBN 9781447138600 (electronic bk.)
1447138600 (electronic bk.)