Found 10 Documents (Results 1–10)
Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation. (English) Zbl 1072.68074
Axiomatizing GSOS with termination. (English) Zbl 1072.68058
MSC:
68Q55
Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS. (English) Zbl 1072.68070
Modular structural operational semantics. (English) Zbl 1072.68061
MSC:
68Q55
Filter Results by …
all
top 5
Author
- Plotkin, Gordon D. (2)
- Baeten, Jos C. M. (1)
- de Vink, Erik P. (1)
- Klin, Bartek (1)
- Lämmel, Ralf (1)
- Mosses, Peter D. (1)
- Simpson, Alex K. (1)
- Tini, Simone (1)
- Ulidowski, Irek (1)
- van Glabbeek, Robert Jan (1)
- Yuen, Shoji (1)