Searching for "Enhanced operational semantics." – sorted by Relevance.
-
Enhanced Operational Semantics
- Enhanced Operational Semantics Pierpaolo Degano and Corrado Priami Dipartimento di Informatica
- Cited by 36 (16 self) – Add To MetaCart
-
Logical and Operational Methods in the Analysis of Programs and Systems
- Interpretation [25], Modalities in Analysis and Verication [30], and Enhanced Operational Semantics [35]. Each
- Cited by 1 (0 self) – Add To MetaCart
-
A Tool for Quantitative Analysis of P-Calculus Processes
- at the outset stage of a project. We start from an enhanced operational semantic of p-calculus [15] in which
- Add To MetaCart
-
Corrado Priami
- Universit`a di Pisa-Genova-Udine Ph.D. Thesis: TD-08/96 Enhanced Operational Semantics for Concurrency
- Add To MetaCart
-
A VIrtual CEll
- [3–5, 21, 23, 24, 22]. More precisely, we adopted an enhanced operational semantics for the π
- Cited by 6 (0 self) – Add To MetaCart
-
Logical Specification of Operational Semantics
- relies heavily on a syntactic congruence between processes. 6 Enhanced Operational Semantics
- Cited by 3 (2 self) – Add To MetaCart
-
Modularity in structural operational semantics. Extended abstract
- by Degano and Priami [3], and exploited to obtain `parametricity' in their enhanced operational semantics
- Cited by 3 (0 self) – Add To MetaCart
-
Foundations of Modular SOS (Extended Abstract)
- ], and exploited by them to obtain parametricity in the framework of Enhanced Operational Semantics. However
- Cited by 14 (13 self) – Add To MetaCart
-
Towards a causal semantics for Brane Calculi
- causal semantics for Beta Binders [21, 22] – based on the π-calculus semantics and on the enhanced
- Cited by 2 (1 self) – Add To MetaCart
-
A Hierarchy of SOS Rule Formats
- , The Netherlands Abstract In 1981 Structural Operational Semantics (SOS) was introduced as a systematic way
- Cited by 4 (1 self) – Add To MetaCart

