Abstract / Description of output
Bloom, Fokkink & van Glabbeek (2004) presented a method to decompose formulas from Hennessy-Milner logic with regard to a structural operational semantics specification. A term in the corresponding process algebra satisfies a Hennessy-Milner formula if and only if its subterms satisfy certain formulas, obtained by decomposing the original formula. They used this decomposition method to derive congruence formats in the realm of structural operational semantics. In this paper it is shown how this framework can be extended to specifications that include bounded lookahead in their premises. This extension is used in the derivation of a congruence format for the partial trace preorder.
Original language | English |
---|---|
Title of host publication | 26th EACSL Annual Conference on Computer Science Logic (CSL 2017) |
Editors | Valentin Goranko, Mads Dam |
Place of Publication | Dagstuhl, Germany |
Publisher | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany |
Pages | 25:1-25:20 |
Number of pages | 20 |
Volume | 82 |
ISBN (Print) | 978-3-95977-045-3 |
DOIs | |
Publication status | Published - 16 Aug 2017 |
Event | 26th EACSL Annual Conference on Computer Science Logic - Stockholm, Sweden Duration: 20 Aug 2017 → 24 Aug 2017 https://www.math-stockholm.se/konferenser-och-akti/logic-in-stockholm-2/26th-eacsl-annual-co/computer-science-logic-2017-august-20-24-1.717663 |
Publication series
Name | Leibniz International Proceedings in Informatics (LIPIcs) |
---|---|
Publisher | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik |
Volume | 82 |
ISSN (Electronic) | 1868-8969 |
Conference
Conference | 26th EACSL Annual Conference on Computer Science Logic |
---|---|
Abbreviated title | CSL 2017 |
Country/Territory | Sweden |
City | Stockholm |
Period | 20/08/17 → 24/08/17 |
Internet address |
Keywords / Materials (for Non-textual outputs)
- Structural Operational Semantics
- Compositionality
- Congruence
- Modal Logic
- Modal Decomposition
- Lookahead