Specification and Analysis of Concurrent Systems : the COSY Approach /

Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notation and theory was developed in the last decade as one of a number of mathematical approaches for conceptualizing and analyzing concurrent a...

Full description

Bibliographic Details

Main Author:	Janicki, Ryszard
Corporate Author:	SpringerLink (Online service)
Other Authors:	Lauer, Peter E.
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1992.
Series:	EATCS Monographs in Theoretical Computer Science.
Subjects:	Computer science. Computer Communication Networks. Software engineering. Operating systems (Computers) Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book