Searching for "An Algebra for Pomsets." – sorted by Relevance.
-
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

