Efficient Coalgebraic Partition Refinement (English)
Free access
- New search for: Dorsch, Ulrich
- New search for: Milius, Stefan
- New search for: Schröder, Lutz
- New search for: Wißmann, Thorsten
- New search for: Dorsch, Ulrich
- New search for: Milius, Stefan
- New search for: Schröder, Lutz
- New search for: Wißmann, Thorsten
- New search for: Meyer, Roland
- New search for: Nestmann, Uwe
In:
LIPIcs, Volume 85, CONCUR 2017
: 28th International Conference on Concurrency Theory (CONCUR 2017)
;
85
;
32:1-32:16
;
2017
-
ISBN:
-
ISSN:
- Conference paper / Electronic Resource
-
Title:Efficient Coalgebraic Partition Refinement
-
Contributors:Dorsch, Ulrich ( author ) / Milius, Stefan ( author ) / Schröder, Lutz ( author ) / Wißmann, Thorsten ( author ) / Meyer, Roland ( editor ) / Nestmann, Uwe ( editor )
-
Published in:LIPIcs, Volume 85, CONCUR 2017 : 28th International Conference on Concurrency Theory (CONCUR 2017) ; 85 ; 32:1-32:16Leibniz International Proceedings in Informatics (LIPIcs) ; 85 ; 32:1-32:16
-
Publisher:
- New search for: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Publication date:2017-09-01
-
Size:16 pages , 647567 byte
-
Remarks:LIPIcs, Vol. 85, 28th International Conference on Concurrency Theory (CONCUR 2017), pages 32:1-32:16
-
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
-
Forward Progress on GPU Concurrency (Invited Talk)Donaldson, Alastair F. / Ketema, Jeroen / Sorensen, Tyler / Wickerson, John et al. | 2017
- 2
-
Admissibility in Games with Imperfect Information (Invited Talk)Brenguier, Romain / Pauly, Arno / Raskin, Jean-François / Sankur, Ocan et al. | 2017
- 3
-
Probabilistic Programming (Invited Talk)Yang, Hongseok et al. | 2017
- 4
-
A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk)Farzan, Azadeh / Kincaid, Zachary et al. | 2017
- 5
-
Bidirectional Nested Weighted AutomataChatterjee, Krishnendu / Henzinger, Thomas A. / Otop, Jan et al. | 2017
- 6
-
k-Bounded Petri Net Synthesis from Modal Transition SystemsSchlachter, Uli / Wimmel, Harro et al. | 2017
- 7
-
A Characterisation of Open Bisimilarity using an Intuitionistic Modal LogicAhn, Ki Yung / Horne, Ross / Tiu, Alwen et al. | 2017
- 8
-
Consistently-Detecting MonitorsFrancalanza, Adrian et al. | 2017
- 9
-
Flow LogicKupferman, Orna / Vardi, Gal et al. | 2017
- 10
-
Rule Formats for Nominal Process CalculiAceto, Luca / Fábregas, Ignacio / García-Pérez, Álvaro / Ingólfsdóttir, Anna / Ortega-Mallén, Yolanda et al. | 2017
- 11
-
Divergence and Unique Solution of EquationsDurier, Adrien / Hirschkoff, Daniel / Sangiorgi, Davide et al. | 2017
- 12
-
Controlling a PopulationBertrand, Nathalie / Dewaskar, Miheer / Genest, Blaise / Gimbert, Hugo et al. | 2017
- 13
-
The Robot Routing Problem for Collecting Aggregate Stochastic RewardsDimitrova, Rayna / Gavran, Ivan / Majumdar, Rupak / Prabhu, Vinayak S. / Soudjani, Sadegh Esmaeil Zadeh et al. | 2017
- 14
-
Coverability Synthesis in Parametric Petri NetsDavid, Nicolas / Jard, Claude / Lime, Didier / Roux, Olivier H. et al. | 2017
- 15
-
Divide and Congruence III: Stability & DivergenceFokkink, Wan / van Glabbeek, Rob / Luttik, Bas et al. | 2017
- 16
-
Checking Linearizability of Concurrent Priority QueuesBouajjani, Ahmed / Enea, Constantin / Wang, Chao et al. | 2017
- 17
-
Nash Equilibrium and Bisimulation InvarianceGutierrez, Julian / Harrenstein, Paul / Perelli, Giuseppe / Wooldridge, Michael et al. | 2017
- 18
-
Goal-Driven Unfolding of Petri NetsChatain, Thomas / Paulevé, Loïc et al. | 2017
- 19
-
Probabilistic Automata of Bounded AmbiguityFijalkow, Nathanaël / Riveros, Cristian / Worrell, James et al. | 2017
- 20
-
Two Lower Bounds for BPAHuang, Mingzhang / Yin, Qiang et al. | 2017
- 21
-
Infinite-Duration Bidding GamesAvni, Guy / Henzinger, Thomas A. / Chonev, Ventsislav et al. | 2017
- 22
-
On the Power of Name-Passing CommunicationFu, Yuxi et al. | 2017
- 23
-
The Power of Convex AlgebrasBonchi, Filippo / Silva, Alexandra / Sokolova, Ana et al. | 2017
- 24
-
Refinement for Signal Flow GraphsBonchi, Filippo / Holland, Joshua / Pavlovic, Dusko / Sobocinski, Pawel et al. | 2017
- 25
-
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset LanguagesKappé, Tobias / Brunet, Paul / Luttik, Bas / Silva, Alexandra / Zanasi, Fabio et al. | 2017
- 26
-
Algebraic Laws for Weak ConsistencyCerone, Andrea / Gotsman, Alexey / Yang, Hongseok et al. | 2017
- 27
-
Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov ChainsTang, Qiyi / van Breugel, Franck et al. | 2017
- 28
-
On Decidability of Concurrent Kleene AlgebraBrunet, Paul / Pous, Damien / Struth, Georg et al. | 2017
- 29
-
Model-Checking Counting Temporal Logics on Flat StructuresDecker, Normann / Habermehl, Peter / Leucker, Martin / Sangnier, Arnaud / Thoma, Daniel et al. | 2017
- 30
-
Concurrent Reversible SessionsCastellani, Ilaria / Dezani-Ciancaglini, Mariangiola / Giannini, Paola et al. | 2017
- 31
-
Unbounded Product-Form Petri NetsBouyer, Patricia / Haddad, Serge / Jugé, Vincent et al. | 2017
- 32
-
Efficient Coalgebraic Partition RefinementDorsch, Ulrich / Milius, Stefan / Schröder, Lutz / Wißmann, Thorsten et al. | 2017
- 33
-
The Complexity of Flat Freeze LTLBollig, Benedikt / Quaas, Karin / Sangnier, Arnaud et al. | 2017
- 34
-
Higher-Order LinearisabilityMurawski, Andrzej S. / Tzevelekos, Nikos et al. | 2017
- 35
-
Model Checking Omega-regular Properties for Quantum Markov ChainsFeng, Yuan / Hahn, Ernst Moritz / Turrini, Andrea / Ying, Shenggang et al. | 2017
- 36
-
Uniform Sampling for Networks of AutomataBasset, Nicolas / Mairesse, Jean / Soria, Michèle et al. | 2017
- 37
-
Tractability of Separation Logic with Inductive Definitions: Beyond ListsChen, Taolue / Song, Fu / Wu, Zhilin et al. | 2017
- 38
-
Data Multi-Pushdown AutomataAbdulla, Parosh Aziz / Aiswarya, C. / Atig, Mohamed Faouzi et al. | 2017
- 39
-
Towards an Efficient Tree Automata Based Technique for Timed SystemsAkshay, S. / Gastin, Paul / Krishna, Shankara Narayanan / Sarkar, Ilias et al. | 2017
- 40
-
On Petri Nets with Hierarchical Special ArcsAkshay, S. / Chakraborty, Supratik / Das, Ankush / Jagannath, Vishal / Sandeep, Sai et al. | 2017