A Geometric Approach to the Problem of Unique Decomposition of Processes-Reference-Cited by-同舟云学术

A Geometric Approach to the Problem of Unique Decomposition of Processes

Published:2010 Issue: Volume: Page:132-146
ISSN:0302-9743
Container-title:CONCUR 2010 - Concurrency Theory
language:
Short-container-title:

Author:

Balabonski Thibaut,Haucourt Emmanuel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-15375-4_10

Reference18 articles.

1. Lecture Notes in Computer Science;O. Bournez,1999

2. Carson, S.D., Reynolds Jr., P.F.: The geometry of semaphore programs. ACM Transactions on Programming Languages and Systems, 25–53 (1987)

3. Corradini, F., Gorrieri, R., Roccetti, R.: Performance Preorder and Competitive Equivalence. Acta Inf. 34, 805–835 (1997)

4. Dijkstra, E.W.: Cooperating sequential processes. In: Programming Languages: NATO Advanced Study Institute, pp. 43–112. Academic Press, London (1968)

5. Fajstrup, L., Goubault, E., Haucourt, E., Raußen, M.: Component categories and the fundamental category. App. Cat. Struct. 12, 81–108 (2004)

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

1. Unique decomposition of homogeneous languages and application to isothetic regions;Mathematical Structures in Computer Science;2018-10-10

2. The geometry of conservative programs;Mathematical Structures in Computer Science;2017-10-17

3. Unique parallel decomposition in branching and weak bisimulation semantics;Theoretical Computer Science;2016-01

4. The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero;Electronic Proceedings in Theoretical Computer Science;2014-10-26

5. Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics;Lecture Notes in Computer Science;2012