A case in point: verification and testing of a EULYNX interface. (English) Zbl 07918318
MSC:
68-XX
Found 6 Documents (Results 1–6)
Off-the-shelf automated analysis of liveness properties for just paths (extended abstract). (English) Zbl 1489.68154
Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 182-187 (2021).
MSC:
68Q85
Reactive bisimulation semantics for a process algebra with time-outs. (English) Zbl 07559462
Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 6, 23 p. (2020).
MSC:
68Q85
A process algebra with global variables. (English) Zbl 07453962
Dardha, Ornela (ed.) et al., Proceedings of the combined 27th international workshop on expressiveness in concurrency and the 17th workshop on structural operational semantics, EXPRESS/SOS 2020, online, August 31, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 322, 33-50 (2020).
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (3)
all
top 5
Author
- Bouwman, Mark (3)
- Luttik, Bas (3)
- van Glabbeek, Robert Jan (3)
- Willemse, Tim A. C. (2)
- Rensink, Arend (1)
- Schols, Wouter (1)
- Stoelinga, Mariëlle (1)
- van der Wal, Djurre (1)
Serial
- Acta Inf. (1)
- Inf. Comput. (1)
- Formal Asp. Comput. (1)
Main Field
- 68-XX (6)
