by Kim Sunesen, Kim Sunesen
http://www.brics.dk/RS/98/Ref/BRICS-RS-98-Ref/../../../../RS/98/6/BRICS-RS-98-6.ps.gz
Add To MetaCart
Abstract:
is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS
Citations
|
2762
|
Communication and Concurrency
– Milner
- 1989
|
|
2678
|
Communicating Sequential Processes
– Hoare
- 1985
|
|
470
|
Petri Nets: An Introduction
– Reisig
- 1985
|
|
302
|
Process algebra for synchronous communication
– Bergstra, Klop
- 1984
|
|
223
|
Modelling concurrency with partial orders
– Pratt
- 1986
|
|
75
|
Decidability and Decomposition in Process Algebras
– Christensen
- 1993
|
|
39
|
The Emotion Machine
– Minsky
- 2006
|
|
38
|
Deciding bisimulation-like equivalences with finite-state processes
– Jancar, Kucera, et al.
- 1998
|
|
35
|
Observing localities
– Boudol, Castellani, et al.
- 1993
|
|
21
|
A static view of localities
– Aceto
- 1994
|
|
18
|
Weak bisimulation and model checking for basic parallel processes
– Mayr
- 1996
|
|
13
|
nets, commutative context-free grammars and basic parallel processes
– Petri
- 1995
|
|
11
|
Specification Oriented Semantics for Communicating Processes
– Olderog, Hoare
- 1986
|
|
10
|
On the Decidability of Non-Interleaving Process Equivalences
– Kiehn, Hennessy
- 1994
|
|
8
|
nets and the equivalence problem
– Petri
- 1994
|
|
8
|
High undecidability of weak bisimilarity for Petri nets
– Jancar
- 1995
|
|
8
|
Comparing locality and causality based equivalences
– Kiehn
- 1994
|
|
7
|
Decidability Results in Automata and Process Theory
– Hirshfeld, Moller
- 1996
|
|
5
|
Deciding true concurrency equivalences on safe, nets
– Jategaonkar, Meyer
- 1996
|
|
2
|
Eliminating local non-determinism: Semantics for ccs
– Abramsky
- 1981
|
|
2
|
Finite Representations of CCS and CSP programs by Automata and Petri Nets
– Taubner
- 1989
|
|
1
|
Distributed bisimilarity is decidable for a class of in systems
– Christensen
- 1992
|
|
1
|
Decidability issues for in processes - a survey
– Christensen, Huttel
- 1993
|
|
1
|
Behavioural equivalence for in systems { partially decidable
– Sunesen, Nielsen
- 1995
|
