LEADER 03065nam  22005295  450 
001 996465635303316
005 20200702045535.0
010   $a3-540-35163-9
024 7 $a10.1007/BFb0022459
035   $a(CKB)1000000000229968
035   $a(SSID)ssj0000326497
035   $a(PQKBManifestationID)11248974
035   $a(PQKBTitleCode)TC0000326497
035   $a(PQKBWorkID)10296726
035   $a(PQKB)11671521
035   $a(DE-He213)978-3-540-35163-4
035   $a(PPN)155237411
035   $a(EXLCZ)991000000000229968
100   $a20121227d1979      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aSemantics of Concurrent Computation$b[electronic resource] $eProceedings of the International Symposium Evian, France, July 2-4, 1979 /$fedited by G. Kahn
205   $a1st ed. 1979.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1979.
215   $a1 online resource (VIII, 372 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v70
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-09511-X 
327   $aThe 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v70
606   $aComputer logic
606   $aSoftware engineering
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
615  0$aComputer logic.
615  0$aSoftware engineering.
615 14$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
676   $a005.1015113
702   $aKahn$b G$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465635303316
996   $aSemantics of concurrent computation$9878551
997   $aUNISA