For the most recent entries see the
Petri Nets Newsletter
.
Keyword: observational equivalence
Carmona, Josep
;
Cortadella, Jordi
:
Input/Output Compatibility of Reactive Systems.
2002.
Cherkasova, Ludmila
:
A Fully Abstract Model for Concurrent Nondeterministic Processes Based on Posets with Non-Actions.
1990.
Cherkasova, Ludmila
:
Algebra AFP
2
for Concurrent Nondeterministic Processes: Fully Abstract Model and Complete Axiomatization.
1990.
Castellani, Ilaria
;
Hennessy, Matthew
:
Distributed Bisimulations.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography