Semantics for Concurrency : Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK /

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 t...

Full description

Bibliographic Details

Main Author:	Kwiatkowska, Marta Zofia
Corporate Author:	SpringerLink (Online service)
Other Authors:	Shields, Michael William, Thomas, Richard Monro
Format:	eBook
Language:	English
Published:	London : Springer London, 1990.
Series:	Workshops in computing.
Subjects:	Computer science. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book