---

＜電子ブック＞
Semantics of Concurrent Computation : Proceedings of the International Symposium Evian, France, July 2-4, 1979 / edited by G. Kahn
(Lecture Notes in Computer Science. ISSN:16113349 ; 70)

版	1st ed. 1979.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1979
本文言語	英語
大きさ	VIII, 372 p : online resource
著者標目	Kahn, G editor SpringerLink (Online service)
件　名	LCSH:Computer science LCSH:Software engineering FREE:Computer Science Logic and Foundations of Programming FREE:Software Engineering
一般注記	The temporal semantics of concurrent programs -- Modal logic of concurrent nondeterministic programs -- Non-deterministic system specification -- On properties preserved by contractions of concurrent systems -- Static analysis of concurrent processes for dynamic properties using Petri Nets -- Notion de Dualite et de Symetrie dans les Reseaux de Petri -- A characterization of concurrency-like relations -- The analysis of distributed systems by means of predicate/transition-nets -- On describing the behavior and implementation of distributed systems -- On the absence of livelocks in parallel programs -- Denotational semantics of parallelism -- An approach to fair applicative multiprogramming -- Modeling a solution for a control problem in distributed systems by restrictions -- Adequate path expressions -- Petri nets, event structures and domains -- An extensional treatment of dataflow deadlock -- On achieving distributed termination -- Specifying and proving properties of guardians for distributed systems -- Principles for distributing programs -- A Petri net definition of a system description language HTTP:URL=https://doi.org/10.1007/BFb0022459

 類似資料