• Reference Citation Analysis
  • v
  • v
  • Find an Article
Find an Article PDF (4634464)   Today's Articles (1570)   Subscriber (49993)
For: De Cindio F, De Michelis G, Pomello L, Simone C. Milner’s Communicating Systems and Petri Nets. ACTA ACUST UNITED AC 1983. [DOI: 10.1007/978-3-642-69028-0_4] [Citation(s) in RCA: 3] [Impact Index Per Article: 0.1] [Reference Citation Analysis] [What about the content of this article? (0)] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 02/16/2023]
Number Cited by Other Article(s)
1
Operational Petri net semantics for CCSP. ACTA ACUST UNITED AC 2005. [DOI: 10.1007/3-540-18086-9_27] [Citation(s) in RCA: 8] [Impact Index Per Article: 0.4] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 02/16/2023]
2
Best E, Devillers R, Kiehn A, Pomello L. Concurrent bisimulations in Petri nets. ACTA INFORM 1991. [DOI: 10.1007/bf01178506] [Citation(s) in RCA: 83] [Impact Index Per Article: 2.5] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/28/2022]
3
A distributed operational semantics for CCS based on condition/event systems. ACTA INFORM 1988. [DOI: 10.1007/bf02915446] [Citation(s) in RCA: 117] [Impact Index Per Article: 3.3] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/26/2022]
PrevPage 1 of 1 1Next
© 2004-2024 Baishideng Publishing Group Inc. All rights reserved. 7041 Koll Center Parkway, Suite 160, Pleasanton, CA 94566, USA