Searching for "Closed Action Calculi." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Contexts and Embeddings for Closed Shallow Action Graphs
- … in the reactive system. In the present paper we treat closed, shallow action calculi (those with no free names…
- Cited by 14 (11 self) – Add To MetaCart
-
Periodic Progress Report
- …: closed or name-free action calculi; 3. defining the category of their models. The study of the meaning…
- Add To MetaCart
-
From Action Calculi to Linear Logic
- … indeterminates to her closed action calculi setting to recapture the expressiveness of free names. In independent…
- Cited by 14 (7 self) – Add To MetaCart
-
A graph rewriting semantics for the polyadic π-calculus
- … with channel names and the rewriting rules are rather complex. An encoding of the π-calculus into closed action…
- Cited by 3 (1 self) – Add To MetaCart
-
Hypergraph Construction and Its Application to the Compositional Modelling of Concurrency
- …]. On the other hand there is a straightforward encoding of process graphs into closed action calculi [5] and a…
- Cited by 4 (3 self) – Add To MetaCart
-
Specifications of Processes under Expanding Signatures
- …]), in the closed action calculi of [6] and in the - calculus [14]. However, to express actions…
- Add To MetaCart
Showing 1 through 6.
