The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings /

Bibliographic Details

Corporate Authors:	SpringerLink (Online service), Workshop on the Analysis of Concurrent Systems
Other Authors:	Denvir, B. T. (Editor)
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, ©1985.
Series:	Lecture notes in computer science ; 207.
Subjects:	Concurrente programmering. Computer science. Logic design. Logics and Meanings of Programs. Electronic books. Congressen (vorm)
Online Access:	Connect to the full text of this electronic book