An open structural operational semantics for an object-oriented calculus with thread classes
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2192-6247
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technische Berichte des Instituts für Informatik der CAU Kiel ; 0505
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Kiel
- (who)
-
Universitätsbibliothek Kiel
- (when)
-
2005
- Creator
- URN
-
urn:nbn:de:gbv:8:1-zs-00000143-a5
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:23 AM 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.
Associated
- Ábrahám, Erika
- Grüner, Andreas
- Steffen, Martin
- Universitätsbibliothek Kiel
Time of origin
- 2005
Other Objects (12)
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
Operational semantics for the Petri box calculus
A structural operational semantics of a concurrent class calculus
Operational calculus
Predicate calculus and program semantics
A TWO-SIDED OPERATIONAL CALCULUS
An Approach to Algebraic Semantics of Object-Oriented Languages
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 probabilistic processes : an operational approach
Operational semantics and verification of security protocols
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
Operational semantics for the Petri box calculus
A structural operational semantics of a concurrent class calculus
Operational calculus
Predicate calculus and program semantics
A TWO-SIDED OPERATIONAL CALCULUS
An Approach to Algebraic Semantics of Object-Oriented Languages
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 probabilistic processes : an operational approach
Operational semantics and verification of security protocols
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
Operational semantics for the Petri box calculus
A structural operational semantics of a concurrent class calculus
Operational calculus
Predicate calculus and program semantics
A TWO-SIDED OPERATIONAL CALCULUS
An Approach to Algebraic Semantics of Object-Oriented Languages
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 probabilistic processes : an operational approach