Searching for "Explicit fusions." – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
Explicit Fusions
- …to appear in TCS – www.wischik.com/lu/research/explicit-fusions.html Explicit Fusions Lucian…
- Cited by 33 (6 self) – Add To MetaCart
-
Explicit Fusions: Theory and Implementation
- …Explicit Fusions: Theory and Implementation Lucian Wischik http://www.wischik.com/lu November 2001…
- Cited by 13 (6 self) – Add To MetaCart
-
Strong Bisimulation for the Explicit Fusion Calculus
- …in FOSSACS 2004 – www.wischik.com/lu/research/eft.html Strong Bisimulation for the Explicit Fusion…
- Add To MetaCart
-
unknown title
- … such as explicit fusion and bigraph, for the behaviour ofa very wide range of interactive systems…
- Add To MetaCart
-
The fusion machine (extended abstract
- … solos calculus with explicit fusions. There are encodings into this calculus from the pi calculus…
- Add To MetaCart
-
Cc-pi: A constraint-based language for specifying service level agreements
- … of explicit fusions. 1 Introduction An important aspect of web services concerns client requirements…
- Cited by 12 (2 self) – Add To MetaCart
-
Open Bisimulation for the Concurrent Constraint Pi-calculus ⋆
- … only in presence of certain constraints. Finally, we show that the polyadic Explicit Fusions calculus…
- Cited by 1 (0 self) – Add To MetaCart
-
The Fusion Machine (Extended Abstract)
- …, 17]. The fusion machine is distributed over channels, as outlined above. It also uses explicit…
- Cited by 3 (0 self) – Add To MetaCart
-
unknown title
- …-calculus are called explicit fusions. x y (explicit fusion) Explicit fusions look very similar to assignments…
- Add To MetaCart
-
Bigraphs and Mobile Processes
- … ambients of Cardelli and Gordon [7], the explicit fusions of Gardner and Wischik [16] developed from…
- Cited by 848 (25 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
