Konferenzschrift | Kongress
Semantics of systems of concurrent processes : proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540534792
3540534792
9780387534794
0387534792
- Dimensions
-
25 cm
- Extent
-
IV, 456 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben.
- Bibliographic citation
-
Lecture notes in computer science ; 469
- Keyword
-
Nebenläufigkeit
Semantik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona
- (who)
-
Springer
- (when)
-
1990
- Contributor
-
Guessarian, Irène
Laboratoire d'informatique théorique et programmation
Spring School on Theoretical Computer Science (17 : 1990 : La Roche-Posay)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:55 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Guessarian, Irène
- Laboratoire d'informatique théorique et programmation
- Spring School on Theoretical Computer Science (17 : 1990 : La Roche-Posay)
- Springer
Time of origin
- 1990
Other Objects (12)
A structural operational semantics of a concurrent class calculus
A proposal for the operational semantics of concurrent TTCN
A contextual semantics for concurrent Haskell with futures
Towards a denotational semantics for concurrent state transformers
Semantics of probabilistic processes : an operational approach
Concurrent multidisciplinary engineering : proceedings
How to interpret and establish consistency results for semantics of concurrent programming languages
Petri net based description, analysis and simulation of concurrent processes
Justifying the strong memory semantics of concurrent high-level programming languages for system programming
Semantics of a language for describing systems and processes
Semantics of a language for describing systems and processes
A category theoretical approach to the concurrent semantics of rewriting : adhesive categories and related concepts
A structural operational semantics of a concurrent class calculus
A proposal for the operational semantics of concurrent TTCN
A contextual semantics for concurrent Haskell with futures
Towards a denotational semantics for concurrent state transformers
Semantics of probabilistic processes : an operational approach
Concurrent multidisciplinary engineering : proceedings
How to interpret and establish consistency results for semantics of concurrent programming languages
Petri net based description, analysis and simulation of concurrent processes
Justifying the strong memory semantics of concurrent high-level programming languages for system programming
Semantics of a language for describing systems and processes
Semantics of a language for describing systems and processes
A category theoretical approach to the concurrent semantics of rewriting : adhesive categories and related concepts
A structural operational semantics of a concurrent class calculus
A proposal for the operational semantics of concurrent TTCN
A contextual semantics for concurrent Haskell with futures
Towards a denotational semantics for concurrent state transformers
Semantics of probabilistic processes : an operational approach
Concurrent multidisciplinary engineering : proceedings
How to interpret and establish consistency results for semantics of concurrent programming languages
Petri net based description, analysis and simulation of concurrent processes
Justifying the strong memory semantics of concurrent high-level programming languages for system programming
Semantics of a language for describing systems and processes
Semantics of a language for describing systems and processes