Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002099353/catalog> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- catalog abstract ""This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introducing the subject to novices and students and giving updates of the state of the art, - research papers presenting recent achievements in the semantics of concurrency. The contributions explicate the connections, similarities and differences between various approaches to the semantics of concurrency, such as pomsets and metric semantics, event structures, synchronization trees, fixpoints and languages, traces, CCS and Petri nets, and categorical models. They also cover and compare the various notions of observation and bisimulation equivalences, logics for concurrency, and applications to dis- tributed systems."--PUBLISHER'S WEBSITE.".
- catalog contributor b3017686.
- catalog contributor b3017687.
- catalog contributor b3017688.
- catalog contributor b3017689.
- catalog created "c1990.".
- catalog date "1990".
- catalog date "c1990.".
- catalog dateCopyrighted "c1990.".
- catalog description ""This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introducing the subject to novices and students and giving updates of the state of the art, - research papers presenting recent achievements in the semantics of concurrency. The contributions explicate the connections, similarities and differences between various approaches to the semantics of concurrency, such as pomsets and metric semantics, event structures, synchronization trees, fixpoints and languages, traces, CCS and Petri nets, and categorical models. They also cover and compare the various notions of observation and bisimulation equivalences, logics for concurrency, and applications to dis- tributed systems."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references.".
- catalog extent "iv, 456 p. :".
- catalog hasFormat "Semantics of systems of concurrent processes.".
- catalog identifier "0387534792".
- catalog identifier "3540534792 :".
- catalog isFormatOf "Semantics of systems of concurrent processes.".
- catalog isPartOf "Lecture notes in computer science ; 469".
- catalog issued "1990".
- catalog issued "c1990.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Semantics of systems of concurrent processes.".
- catalog subject "004/.35 20".
- catalog subject "Parallel processing (Electronic computers)".
- catalog subject "Programming languages (Electronic computers) Semantics.".
- catalog subject "QA76.58 .E26 1990".
- catalog title "Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings / I. Guessarian (ed.).".
- catalog type "text".