Author:
Janicki Ryszard,Lê Dai Tri Man
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference30 articles.
1. B. Bloom, M.Z. Kwiatkowska, Trade-offs in true concurrency: Pomsets and Mazurkiewicz traces, in: Proc. of MFPS, 1991, pp. 350–375.
2. Problèmes combinatoires de commutation et ré-arrangements;Cartier,1969
3. Concurrent and maximally concurrent evolution of non-sequential systems;Devillers;Theoret. Comput. Sci.,1986
4. The Book of Traces,1995
5. H. Gaifman, V. Pratt, Partial order models of concurrency and the computation of function, in: Proc. of LICSʼ87, pp. 72–85.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Interval Traces with Mutex Relation;Application and Theory of Petri Nets and Concurrency;2023
2. Conclusions;Paradigms of Concurrency;2022
3. Introduction;Paradigms of Concurrency;2022
4. Relational structures for concurrent behaviours;Theoretical Computer Science;2021-03
5. Algebraic Structure of Step Traces and Interval Traces;Fundamenta Informaticae;2020-09-28