Logics and Models of Concurrent Systems
By: edited by Krzysztof R. Apt
Series: NATO ASI Series, Series F: Computer and Systems Sciences -- 13; NATO ASI Series, Series F: Computer and Systems Sciences -- 13
Publisher: Springer Berlin Heidelberg
Published: 1985
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] /
ISBN-13: 9783642824555; 9783642824531
Subjects: Computer Communication Networks; Computer science
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.