Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lecture Notes in Computer Science;P.A. Abdulla,2008
2. Abdulla, P.A., Čerans, K., Jonsson, B., Tsay, Y.-K.: Algorithmic analysis of programs with well quasi-ordered domains. Inf. Comp. 160(1-2), 109–127 (2000)
3. Busi, N., Gorrieri, R.: Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs. JLAP 78(1), 138–162 (2009)
4. Devillers, R., Klaudel, H., Koutny, M.: A compositional Petri net translation of general π-calculus terms. For Asp. Comp. 20(4-5), 429–450 (2008)
5. Finkel, A., Schnoebelen, P.: Well-structured transition systems everywhere! TCS 256(1-2), 63–92 (2001)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Liveness in broadcast networks;Computing;2021-08-10
2. PNeS in Modelling, Control and Analysis of Concurrent Systems;Rough Sets;2021
3. References;Supervisory Control and Scheduling of Resource Allocation Systems;2020-06-29
4. Liveness in Broadcast Networks;Networked Systems;2019
5. Concurrent Programming from pseuCo to Petri;Application and Theory of Petri Nets and Concurrency;2019