The Citing articles tool gives a list of articles citing the current article. The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Franco Barbanera, Ivan Lanese and Emilio Tuosto Lecture Notes in Computer Science, Coordination Models and Languages 13271 121 (2022) https://doi.org/10.1007/978-3-031-08143-9_8
Application and Theory of Petri Nets and Concurrency
Paul Hannibal and Ernst-Rüdiger Olderog Lecture Notes in Computer Science, Application and Theory of Petri Nets and Concurrency 13288 236 (2022) https://doi.org/10.1007/978-3-031-06653-5_13
Manuel Gieseking and Ernst-Rüdiger Olderog Lecture Notes in Computer Science, Model Checking, Synthesis, and Learning 13030 115 (2021) https://doi.org/10.1007/978-3-030-91384-7_7
Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic
Transactions on Petri Nets and Other Models of Concurrency XIV
Ramchandra Phawade Lecture Notes in Computer Science, Transactions on Petri Nets and Other Models of Concurrency XIV 11790 146 (2019) https://doi.org/10.1007/978-3-662-60651-3_6
Specification and Verification in Integrated Model of Distributed Systems (IMDS)
Transactions on Petri Nets and Other Models of Concurrency X
Ramchandra Phawade and Kamal Lodaya Lecture Notes in Computer Science, Transactions on Petri Nets and Other Models of Concurrency X 9410 84 (2015) https://doi.org/10.1007/978-3-662-48650-4_5
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna and Roberto Zunino Lecture Notes in Computer Science, Distributed Computing and Internet Technology 8956 1 (2015) https://doi.org/10.1007/978-3-319-14977-6_1
Transactions on Petri Nets and Other Models of Concurrency IX
Thomas Chatain and Stefan Haar Lecture Notes in Computer Science, Transactions on Petri Nets and Other Models of Concurrency IX 8910 83 (2014) https://doi.org/10.1007/978-3-662-45730-6_5
Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs
Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats and Francesco Zanitti The Journal of Logic and Algebraic Programming 82(5-7) 164 (2013) https://doi.org/10.1016/j.jlap.2013.05.005
Blaise Genest, Hugo Gimbert, Anca Muscholl and Igor Walukiewicz Lecture Notes in Computer Science, Automata, Languages, and Programming 7966 275 (2013) https://doi.org/10.1007/978-3-642-39212-2_26
Security and Privacy Protection in Information Processing Systems
Padmanabhan Krishnan and Kostyantyn Vorobyov IFIP Advances in Information and Communication Technology, Security and Privacy Protection in Information Processing Systems 405 272 (2013) https://doi.org/10.1007/978-3-642-39218-4_21
Foundations of Health Informatics Engineering and Systems
Thomas Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats Lecture Notes in Computer Science, Foundations of Health Informatics Engineering and Systems 7151 39 (2012) https://doi.org/10.1007/978-3-642-32355-3_3
A study on shuffle, stopwatches and independently evolving clocks
Kamal Lodaya, Madhavan Mukund and Ramchandra Phawade Lecture Notes in Computer Science, Descriptional Complexity of Formal Systems 6808 235 (2011) https://doi.org/10.1007/978-3-642-22600-7_19
Software Engineering and Formal Methods
Thomas Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats Lecture Notes in Computer Science, Software Engineering and Formal Methods 7041 237 (2011) https://doi.org/10.1007/978-3-642-24690-6_17
A nice labelling for tree-like event structures of degree 3
Blaise Genest, Hugo Gimbert, Anca Muscholl and Igor Walukiewicz Lecture Notes in Computer Science, Automata, Languages and Programming 6199 52 (2010) https://doi.org/10.1007/978-3-642-14162-1_5
Nicolas Baudru and Rémi Morin Lecture Notes in Computer Science, Computer Science – Theory and Applications 3967 46 (2006) https://doi.org/10.1007/11753728_8
Petri Nets and Other Models of Concurrency - ICATPN 2006
Nicolas Baudru and Rémi Morin Lecture Notes in Computer Science, Petri Nets and Other Models of Concurrency - ICATPN 2006 4024 84 (2006) https://doi.org/10.1007/11767589_6
Blaise Genest, Anca Muscholl and Dietrich Kuske Lecture Notes in Computer Science, Developments in Language Theory 3340 30 (2004) https://doi.org/10.1007/978-3-540-30550-7_4
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Bharat Adsul and Milind Sohoni Lecture Notes in Computer Science, FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 3328 84 (2004) https://doi.org/10.1007/978-3-540-30538-5_8
Two optimal parallel algorithms on the commutation class of a word
Christof Teuscher and Mathieu S. Capcarrere Lecture Notes in Computer Science, Evolvable Systems: From Biology to Hardware 2606 1 (2003) https://doi.org/10.1007/3-540-36553-2_1
Synchronizations in Team Automata for Groupware Systems
Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn and Grzegorz Rozenberg Computer Supported Cooperative Work (CSCW) 12(1) 21 (2003) https://doi.org/10.1023/A:1022407907596
Applications and Theory of Petri Nets 2003
Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wiesław Pawłowski and Lucia Pomello Lecture Notes in Computer Science, Applications and Theory of Petri Nets 2003 2679 140 (2003) https://doi.org/10.1007/3-540-44919-1_12
Petri Net Technology for Communication-Based Systems
Alin Ştefănescu, Javier Esparza and Anca Muscholl Lecture Notes in Computer Science, CONCUR 2003 - Concurrency Theory 2761 27 (2003) https://doi.org/10.1007/978-3-540-45187-7_2
Parallel asynchronous computations for image analysis
Mathieu S. Capcarrere Lecture Notes in Computer Science, Parallel Problem Solving from Nature — PPSN VII 2439 903 (2002) https://doi.org/10.1007/3-540-45712-7_87
Modeling visual interactive systems through dynamic visual languages
P. Bottoni, Shi-Kuo Chang, M.F. Costabile, S. Levialdi and P. Mussio IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans 32(6) 654 (2002) https://doi.org/10.1109/TSMCA.2002.807028