- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2192-6247
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technische Berichte des Instituts für Informatik der CAU Kiel ; 0307
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Universitätsbibliothek Kiel
- (wann)
-
2003
- Beteiligte Personen und Organisationen
-
Abraham, Erika
Boer, Frank S. de
Bonsangue, Marcello M.
Steffen, Martin
- URN
-
urn:nbn:de:gbv:8:1-zs-00000163-a7
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:24 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Abraham, Erika
- Boer, Frank S. de
- Bonsangue, Marcello M.
- Steffen, Martin
- Universitätsbibliothek Kiel
Entstanden
- 2003
Ähnliche Objekte (12)
Operational semantics for the Petri box calculus
A proposal for the operational semantics of concurrent TTCN
Operational calculus
An open structural operational semantics for an object-oriented calculus with thread classes
Predicate calculus and program semantics
A TWO-SIDED OPERATIONAL CALCULUS
Operational calculus : a theory of hyperfunctions
Operational semantics of UML 2.0 interactions
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Semantics of systems of concurrent processes : proceedings
Semantics of probabilistic processes : an operational approach
Operational semantics and verification of security protocols
Operational semantics for the Petri box calculus
A proposal for the operational semantics of concurrent TTCN
Operational calculus
An open structural operational semantics for an object-oriented calculus with thread classes
Predicate calculus and program semantics
A TWO-SIDED OPERATIONAL CALCULUS
Operational calculus : a theory of hyperfunctions
Operational semantics of UML 2.0 interactions
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Semantics of systems of concurrent processes : proceedings
Semantics of probabilistic processes : an operational approach
Operational semantics and verification of security protocols
Operational semantics for the Petri box calculus
A proposal for the operational semantics of concurrent TTCN
Operational calculus
An open structural operational semantics for an object-oriented calculus with thread classes
Predicate calculus and program semantics
A TWO-SIDED OPERATIONAL CALCULUS
Operational calculus : a theory of hyperfunctions
Operational semantics of UML 2.0 interactions
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Semantics of systems of concurrent processes : proceedings
Semantics of probabilistic processes : an operational approach