03065nam 22005295 450 99646563530331620200702045535.03-540-35163-910.1007/BFb0022459(CKB)1000000000229968(SSID)ssj0000326497(PQKBManifestationID)11248974(PQKBTitleCode)TC0000326497(PQKBWorkID)10296726(PQKB)11671521(DE-He213)978-3-540-35163-4(PPN)155237411(EXLCZ)99100000000022996820121227d1979 u| 0engurnn|008mamaatxtccrSemantics of Concurrent Computation[electronic resource] Proceedings of the International Symposium Evian, France, July 2-4, 1979 /edited by G. Kahn1st ed. 1979.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1979.1 online resource (VIII, 372 p.) Lecture Notes in Computer Science,0302-9743 ;70Bibliographic Level Mode of Issuance: Monograph3-540-09511-X 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.Lecture Notes in Computer Science,0302-9743 ;70Computer logicSoftware engineeringLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Computer logic.Software engineering.Logics and Meanings of Programs.Software Engineering.005.1015113Kahn Gedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465635303316Semantics of concurrent computation878551UNISA