Searching for "An Algebra for Pomsets." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
An Algebra for Pomsets
- …An Algebra for Pomsets St'ephane Grumbach I.N.R.I.A. Rocquencourt BP 105 78153 Le Chesnay, France…
- Cited by 17 (3 self) – Add To MetaCart
-
An Algebra for Pomsets (Extended Abstract)
- …An Algebra for Pomsets ? Extended Abstract St'ephane Grumbach 1 and Tova Milo 2 1 I…
- Add To MetaCart
-
The quest for equational axiomatizations of parallel composition: Status and open problems
- … of the algebra of pomsets resulting from the addition of these iteration operators is, however, necessarily…
- Cited by 1 (0 self) – Add To MetaCart
-
On The Specification Of Concurrent Systems
- … definition of these operations leads to an algebra of pomsets. An important goal of this thesis is to extend…
- Cited by 9 (0 self) – Add To MetaCart
-
CCS with Hennessy’s merge has no finite equational axiomatization
- … of Bergstra and Klop’s from 1984 by establishing that the process algebra obtained by adding an auxiliary…
- Cited by 16 (14 self) – Add To MetaCart
Showing 1 through 5.
