Algebra and Theory of Order-Deterministic Pomsets-Reference-Cited by-同舟云学术

Algebra and Theory of Order-Deterministic Pomsets

Published:1996-04-01 Issue:2 Volume:37 Page:
ISSN:0029-4527
Container-title:Notre Dame Journal of Formal Logic
language:
Short-container-title:Notre Dame J. Formal Logic

Author:

Rensink Arend

Publisher

Duke University Press

Subject

Logic

Reference26 articles.

1. Aalbersberg, J. J., and G. Rozenberg, “Theory of traces,” Theoretical Computer Science, vol. 60 (1988), pp. 1–82. Zbl 0652.68017 MR 89j:68042

2. Aceto, L., “Full abstraction for series-parallel pomsets,” pp. 1–25 in TAPSOFT '91, Volume 1, edited by S. Abramsky and T. S. E. Maibaum, vol. 493 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1991. Zbl 0967.68517 MR 92i:68039

3. Baeten, J. C. M., and W. P. Weijland, Process Algebra, Cambridge University Press, Cambridge, 1990. Zbl 0716.68002 MR 92i:68041

4. Boudol, G., and I. Castellani, “Permutations of transitions: An event structure semantics for CCS and SCCS,” pp. 411–427 in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, edited by J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, vol. 354 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1989. MR 1035282

5. Corradini, A., H. Ehrig, M. L öwe, U. Montanari, and F. Rossi, “An event structure semantics for safe graph grammars,” pp. 423–446 in Programming Concepts, Methods and Calculi, edited by E.-R. Olderog, vol. A–56 of IFIP Transactions, North-Holland, Amsterdam, 1994. MR 96d:68128

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the Homomorphism Order of Labeled Posets;Order;2010-07-23

2. Labeled posets are universal;European Journal of Combinatorics;2008-02

3. Action Refinement;Handbook of Process Algebra;2001

4. Series and Parallel Operations on Pomsets;Lecture Notes in Computer Science;1999

5. Completing Categorical Algebras;Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006