Team bisimilarity, and its associated modal logic, for BPP nets
- 13 March 2020
- journal article
- research article
- Published by Springer Science and Business Media LLC in Acta Informatica
- Vol. 58 (5), 529-569
- https://doi.org/10.1007/s00236-020-00377-4
Abstract
No abstract availableKeywords
This publication has 45 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Science and Business Media LLC ,2005
- Branching time and abstraction in bisimulation semanticsJournal of the ACM, 1996
- Undecidability of bisimilarity for Petri nets and some related problemsTheoretical Computer Science, 1995
- Concurrent bisimulations in Petri netsActa Informatica, 1991
- Distributed bisimulationsJournal of the ACM, 1989
- Causal treesLecture Notes in Computer Science, 1989
- Partial orderings descriptions and observations of nondeterministic concurrent processesLecture Notes in Computer Science, 1989
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984
- Formal verification of parallel programsCommunications of the ACM, 1976