Document Search Results

Newest Citations Relevance

Aceto, Luca; Anastasiadi, Elli; Castiglioni, Valentina; Ingólfsdóttir, Anna

Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction. (English) Zbl 1524.68207

Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 1-26 (2022).

MSC: 68Q85

Cite Review PDF

Full Text: DOI

Aceto, Luca; Castiglioni, Valentina; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas

Are two binary operators necessary to obtain a finite axiomatisation of parallel composition? (English) Zbl 1508.68239

ACM Trans. Comput. Log. 23, No. 4, Article No. 22, 56 p. (2022).

MSC: 68Q85 03B70 68Q55

Cite Review PDF

Full Text: DOI arXiv Link

Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina

An operational guide to monitorability. (English) Zbl 1535.68049

Ölveczky, Peter Csaba (ed.) et al., Software engineering and formal methods. 17th international conference, SEFM 2019, Oslo, Norway, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11724, 433-453 (2019).

MSC: 68N30

Cite Review PDF

Full Text: DOI arXiv Link

Found 3 Documents (Results 1–3)

Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction. (English) Zbl 1524.68207

Are two binary operators necessary to obtain a finite axiomatisation of parallel composition? (English) Zbl 1508.68239

An operational guide to monitorability. (English) Zbl 1535.68049

Filter Results by …

Document Type

Author

Year of Publication

Main Field

Software