Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity (English)
Free access
- New search for: Belder, Astrid
- New search for: Luttik, Bas
- New search for: Baeten, Jos
- New search for: Belder, Astrid
- New search for: Luttik, Bas
- New search for: Baeten, Jos
- New search for: Roggenbach, Markus
- New search for: Sokolova, Ana
In:
LIPIcs, Volume 139, CALCO 2019
: 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)
;
139
;
11:1-11:22
;
2019
-
ISBN:
-
ISSN:
- Conference paper / Electronic Resource
-
Title:Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity
-
Contributors:Belder, Astrid ( author ) / Luttik, Bas ( author ) / Baeten, Jos ( author ) / Roggenbach, Markus ( editor ) / Sokolova, Ana ( editor )
-
Published in:LIPIcs, Volume 139, CALCO 2019 : 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019) ; 139 ; 11:1-11:22Leibniz International Proceedings in Informatics (LIPIcs) ; 139 ; 11:1-11:22
-
Publisher:
- New search for: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Publication date:2019-11-25
-
Size:22 pages , 592660 byte
-
Remarks:LIPIcs, Vol. 139, 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), pages 11:1-11:22
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Licence:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Matching mu-Logic: Foundation of K Framework (Invited Paper)Chen, Xiaohong / Roşu, Grigore et al. | 2019
- 2
-
From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper)Milius, Stefan et al. | 2019
- 3
-
Principles of Natural Language, Logic, and Tensor Semantics (Invited Paper)Sadrzadeh, Mehrnoosh et al. | 2019
- 4
-
Coinduction: Automata, Formal Proof, Companions (Invited Paper)Pous, Damien et al. | 2019
- 5
-
Omega-Automata: A Coalgebraic Perspective on Regular omega-LanguagesCiancia, Vincenzo / Venema, Yde et al. | 2019
- 6
-
Tree Automata as Algebras: Minimisation and Determinisationvan Heerdt, Gerco / Kappé, Tobias / Rot, Jurriaan / Sammartino, Matteo / Silva, Alexandra et al. | 2019
- 7
-
Coalgebraic Geometric LogicBezhanishvili, Nick / de Groot, Jim / Venema, Yde et al. | 2019
- 8
-
Coinduction in Flow: The Later Modality in FibrationsBasold, Henning et al. | 2019
- 9
-
Causal Unfoldingsde Visme, Marc / Winskel, Glynn et al. | 2019
- 10
-
A Coalgebraic Perspective on Probabilistic Logic ProgrammingGu, Tao / Zanasi, Fabio et al. | 2019
- 11
-
Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of BisimilarityBelder, Astrid / Luttik, Bas / Baeten, Jos et al. | 2019
- 12
-
On Terminal Coalgebras Derived from Initial AlgebrasAdámek, Jiří et al. | 2019
- 13
-
Coinductive Resumption Monads: Guarded Iterative and Guarded ElgotLevy, Paul Blain / Goncharov, Sergey et al. | 2019
- 14
-
Decomposing Comonad MorphismsAhman, Danel / Uustalu, Tarmo et al. | 2019
- 15
-
The Axiom of Choice in Cartesian BicategoriesBonchi, Filippo / Seeber, Jens / Sobociński, Paweł et al. | 2019
- 16
-
Linear-Time Graph Algorithms in GP 2Campbell, Graham / Courtehoute, Brian / Plump, Detlef et al. | 2019
- 17
-
Hybridisation of Institutions in HETS (Tool Paper)Codescu, Mihai et al. | 2019
- 18
-
Nominal String DiagramsBalco, Samuel / Kurz, Alexander et al. | 2019
- 19
-
A Diagrammatic Approach to Quantum DynamicsGogioso, Stefano et al. | 2019
- 20
-
CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper)Sobociński, Paweł / Wilson, Paul W. / Zanasi, Fabio et al. | 2019