Invariants in Process Algebra with Data

Marc Bezem Jan Friso Groote 1994 Invariants in Process Algebra with Data Bengt Jonsson Joachim Parrow CONCUR LNCS 836 Springer 401–416 10.1007/978-3-540-48654-1_30 Pierre Bouvier Hubert Garavel Hernán Ponce de León 2020 Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account Ryszard Janicki Natalia Sidorova Thomas Chatain Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings Lecture Notes in Computer Science 12152 Springer 3–23 10.1007/978-3-030-51831-8_1 Ed Brinksma Rom Langerak Peter Broekroelofs 1993 Functionality Decomposition by Compositional Correctness Preserving Transformation Costas Courcoubetis CAV LNCS 697 Springer 371–384 10.1007/3-540-56922-7_31 Olav Bunte Jan Friso Groote Jeroen J. A. Keiren Maurice Laveaux Thomas Neele Erik P. de Vink Wieger Wesselink Anton Wijs Tim A. C. Willemse 2019 The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability Tomás Vojnar Lijun Zhang TACAS LNCS 11428 Springer 21–39 10.1007/978-3-030-17465-1_2 Shing-Chi Cheung Jeff Kramer 1996 Context Constraints for Compositional Reachability Analysis ACM Trans. Softw. Eng. Methodol. 5 4 334–377 10.1145/235321.235323 Pepijn Crouzen Frédéric Lang 2011 Smart Reduction FASE Lecture Notes in Computer Science 6603 Springer 111–126 10.1007/978-3-642-19811-3_9 Hubert Garavel Frédéric Lang Laurent Mounier 2018 Compositional Verification in Action Falk Howar Jiri Barnat FMICS LNCS 11119 Springer 189–210 10.1007/978-3-030-00244-2_13 R. J. van Glabbeek B. Luttik N. Trcka 2009 Branching Bisimilarity with Explicit Divergence Fundam. Inform. 93 4 371–392 10.3233/FI-2009-109 Susanne Graf Bernhard Steffen Gerald Lüttgen 1996 Compositional Minimisation of Finite State Systems Using Interface Specifications Formal Asp. Comput. 8 5 607–616 10.1007/BF01211911 Jan Friso Groote Faron Moller 1992 Verification of Parallel Systems via Decomposition Rance Cleaveland CONCUR LNCS 630 Springer 62–76 10.1007/BFb0084783 Jan Friso Groote Mohammad Reza Mousavi 2014 Modeling and Analysis of Communicating Systems MIT Press 10.7551/mitpress/9946.001.0001 Wim H. Hesselink 1998 Invariants for the Construction of a Handshake Register Inf. Process. Lett. 68 4 173–177 10.1016/S0020-0190(98)00158-6 Sung-Shik T. Q. Jongmans Dave Clarke José Proença 2016 A procedure for splitting data-aware processes and its application to coordination Sci. Comput. Program. 115-116 47–78 10.1016/j.scico.2014.02.017 M. Laveaux 2021 Downloadable sources for the case study 10.5281/zenodo.5091850 Maurice Laveaux Tim A. C. Willemse 2020 Decompositional Minimisation of Monolithic Processes CoRR abs/2012.06468 https://arxiv.org/abs/2012.06468 Robin Milner 1983 Calculi for Synchrony and Asynchrony Theor. Comput. Sci. 25 267–310 10.1016/0304-3975(83)90114-7 Jaco van de Pol Mark Timmer 2009 State Space Reduction of Linear Processes Using Control Flow Reconstruction Zhiming Liu Anders P. Ravn Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings Lecture Notes in Computer Science 5799 Springer 54–68 10.1007/978-3-642-04761-9_5 Daniela Remenska Tim A. C. Willemse Kees Verstoep Wan J. Fokkink Jeff Templon Henri E. Bal 2012 Using Model Checking to Analyze the System Behavior of the LHC Production Grid 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2012, Ottawa, Canada, May 13-16, 2012 IEEE Computer Society 335–343 10.1109/CCGrid.2012.90 Judi Romijn Jan Springintveld 1998 Exploiting Symmetry in Protocol Testing Stanislaw Budkowski Ana R. Cavalli Elie Najm FORTE XI / PSTV XVIII IFIP Conference Proceedings 135 Kluwer 337–352 10.1007/978-0-387-35394-4_29 Kuo-Chung Tai Pramod V. Koppol 1993 Hierarchy-based incremental analysis of communication protocols ICNP IEEE Computer Society 318–325 10.1109/ICNP.1993.340896 Kuo-Chung Tai Pramod V. Koppol 1993 An Incremental Approach to Reachability Analysis of Distributed Programs Jack C. Wileden IWSSD IEEE Computer Society 141–151 10.1109/IWSSD.1993.315504