Searching for "Enhanced operational semantics." – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
