|
1
|
CPO Models for GSOS Languages - Part I: Compact GSOS Languages
– Anna Ing Olfsd Ottir, Anna Ingólfsdóttir, Luca Aceto, Luca Aceto
- 1994
|
|
|
Conservative Extension in Structural Operational Semantics
– Luca Aceto Wan, Wan Fokkink, Chris Verhoef
- 1999
|
|
77
|
Turning SOS Rules into Equations
– Luca Aceto, Bard Bloom, Frits Vaandrager
- 1994
|
|
24
|
A menagerie of non-finitely based process semantics over BPA*—from ready simulation to completed traces
– Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
- 1998
|
|
2
|
The Saga of the Axiomatization of Parallel Composition ⋆
– Luca Aceto, Anna Ingolfsdottir
|
|
7
|
Formats of Ordered SOS Rules with Silent Actions
– Irek Ulidowski, Iain Phillips
- 1997
|
|
2
|
Ordered SOS Process Languages for Branching and Eager Bisimulations
– Irek Ulidowski, Iain Phillips
- 2002
|
|
5
|
SOS formats and meta-theory: 20 years after
– Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote
- 2007
|
|
3
|
Equivalence semantics for concurrency: comparison and application
– Vashti Christina Galpin
- 1998
|
|
6
|
Some of My Favourite Results in Classic Process Algebra
– Luca Aceto
- 2003
|
|
13
|
Axiomatizing GSOS with Termination
– J.C.M. Baeten , E.P. de Vink
- 2004
|
|
103
|
A Congruence Theorem for Structured Operational Semantics With Predicates
– J.C.M. Baeten, C. Verhoef
- 1993
|
|
89
|
Algebraic Reasoning for Probabilistic Concurrent Systems
– Alessandro Giacalone, Chi-chang Jou, Scott A. Smolka
- 1990
|
|
94
|
Priorities in process algebra
– Rance Cleaveland, Gerald Lüttgen, V. Natarajan
- 1999
|
|
|
A Verified Algebra for Read-Write Linked Data
– Ross Horne, Vladimiro Sassone
|
|
15
|
Ready Simulation, Bisimulation, and the Semantics of CCS-Like Languages
– Bard Bloom
- 1993
|
|
119
|
Interaction Categories and the Foundations of Typed Concurrent Programming
– Samson Abramsky, Simon Gay, Rajagopal Nagarajan
- 1995
|
|
|
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras ⋆
– Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Mohammadreza Mousavi
|
|
|
BOOLEAN PRECONGRUENCES
– Paul Blain Levy
|
