Theoretical Computer Science

Research Output 1993 2019

Filter
Conference contribution
2019

A formal proof of Hensel's lemma over the p-adic integers

Lewis, R. Y., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 15-26 12 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Number theory
Polynomials

A verified prover based on ordered resolution

Schlichtkrull, A., Blanchette, J. C. & Traytel, D., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 152-165 14 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Specifications

Extending a brainiac prover to lambda-free higher-order logic

Vukmirović, P., Blanchette, J. C., Cruanes, S. & Schulz, S., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings - Part 1. Zhang, L. & Vojnar, T. (eds.). Springer Verlag, Vol. 1. p. 192-210 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Higher-order Logic
Data structures
Algorithms and Data Structures
Higher Order
Theorem proving

Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk)

Blanchette, J. C., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 1-13 13 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Superposition with Lambdas

Bentkamp, A., Blanchette, J. C., Tourret, S., Vukmirovic, P. & Waldmann, U., 19 Apr 2019, (Accepted/In press) The 27th International Conference on Automated Deduction: CADE-27.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Equivalence classes
2018

A verified SAT solver with watched literals using Imperative HOL

Fleury, M., Blanchette, J. C. & Lammich, P., Jan 2018, CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. New York, NY: Association for Computing Machinery, Inc, p. 158-171 14 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Data structures

Decreasing diagrams with two labels are complete for confluence of countable systems

Endrullis, J., Klop, J. W. & Overbeek, R., 1 Jul 2018, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 108. p. 1-15 15 p. 14

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Labels
Electric commutation
Labeling

Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover

Schlichtkrull, A., Blanchette, J. C., Traytel, D. & Waldmann, U., 2018, Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Springer/Verlag, p. 89-107 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10900 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Theorem proving
Automated Reasoning
Formal Proof
Theorem Proving
Formalization

MDP + TA = PTA: Probabilistic Timed Automata, Formalized (Short Paper)

Wimmer, S. & Hölzl, J., 2018, Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Springer/Verlag, p. 597-603 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10895 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Probabilistic Automata
Timed Automata
Markov Decision Process
Model checking
Formalization

Superposition for Lambda-Free Higher-Order Logic

Bentkamp, A., Blanchette, J. C., Cruanes, S. & Waldmann, U., 2018, Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Springer/Verlag, p. 28-46 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10900 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Higher-order Logic
Superposition
Calculus
Monotonic
Higher Order
2017

A formal proof of the expressiveness of deep learning

Bentkamp, A., Blanchette, J. C. & Klakow, D., 2017, Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings. Springer, Vol. 10499. p. 46-64 (LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Image recognition
Bioinformatics
Computer science
Tensors
Polynomials

A lambda-free higher-order recursive path order

Blanchette, J. C., Waldmann, U. & Wand, D., 1 Jan 2017, Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer/Verlag, p. 461-479 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10203 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Substitution reactions
Higher Order
Path
Transitivity
Term

A transfinite knuth–bendix order for lambda-free higher-order terms

Becker, H., Blanchette, J. C., Waldmann, U. & Wand, D., 2017, Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Proceedings. de Moura, L. (ed.). Springer/Verlag, p. 432-453 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10395 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Substitution reactions
Higher Order
Term
Transitivity
Compatibility

A verified SAT solver framework with learn, forget, restart, and incrementality

Blanchette, J. C., Fleury, M. & Weidenbach, C., 1 Jan 2017, 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, AAAI Press, p. 4786-4790 5 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Experiments

Creating Büchi automata for multi-valued model checking

Vijzelaar, S. J. J. & Fokkink, W. J., 2017, Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Proceedings. Springer/Verlag, Vol. 10321 LNCS. p. 210-224 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10321 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Model checking
Model Checking
Automata
Logic
Kripke Models

Detecting useless transitions in pushdown automata

Grune, D., Fokkink, W., Chatzikalymnios, E., Hond, B. & Rutgers, P., 2017, Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Proceedings. Springer/Verlag, Vol. 10168 LNCS. p. 421-434 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10168 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Pushdown Automata
Finite automata
Finite Automata
Automata

Divide and congruence III: Stability & divergence

Fokkink, W., Glabbeek, R. V. & Luttik, B., 1 Aug 2017, 28th International Conference on Concurrency Theory, CONCUR 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 85. 15

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Semantics
Decomposition

Foundational (co)datatypes and (co)recursion for higher-order logic

Biendarra, J., Blanchette, J. C., Bouzy, A., Desharnais, M., Fleury, M., Hölzl, J., Kunčar, O., Lochbihler, A., Meier, F., Panny, L., Popescu, A., Sternagel, C., Thiemann, R. & Traytel, D., 1 Jan 2017, Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Proceedings. Dixon, C. & Finger, M. (eds.). Springer/Verlag, p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10483 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Recursive functions
Higher-order Logic
Recursion
Coinduction
Recursive Functions

Foundational nonuniform (Co)datatypes for higher-order logic

Blanchette, J. C., Meier, F., Popescu, A. & Traytel, D., 8 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. Institute of Electrical and Electronics Engineers Inc., 8005071

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Higher-order Logic
Specification languages
Data structures
Coinduction
Functional Data

Friends with benefits: Implementing corecursion in foundational proof assistants

Blanchette, J. C., Bouzy, A., Lochbihler, A., Popescu, A. & Traytel, D., 1 Jan 2017, Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Yang, H. (ed.). Springer/Verlag, p. 111-140 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10201 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Productivity
Specifications
Inconsistency
Registration
Synthesis

Nested multisets, hereditary multisets, & syntactic ordinals in Isabelle/HOL

Blanchette, J. C., Fleury, M. & Traytel, D., 1 Sep 2017, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017. Miller, D. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 84. 11

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Syntactics
Computability and decidability

Precongruence formats with lookahead through modal decomposition

Fokkink, W. & Van Glabbeek, R. J., 1 Aug 2017, Computer Science Logic 2017, CSL 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 82. 25

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Semantics
Decomposition
Specifications
Algebra

Scalable fine-grained proofs for formula processing

Barbosa, H., Blanchette, J. C. & Fontaine, P., 2017, Automated Deduction: CADE 26 - 26th International Conference on Automated Deduction, Proceedings. de Moura, L. (ed.). Springer/Verlag, p. 398-412 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10395 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Surface mount technology
Data structures
Processing
Linear Time
Inference Rules

Undecidability and finite automata

Endrullis, J., Shallit, J. & Smith, T., 2017, Developments in Language Theory - 21st International Conference, DLT 2017, Proceedings. Springer/Verlag, Vol. 10396 LNCS. p. 160-172 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10396 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Undecidability
Finite Automata
Finite automata
Rewriting
Decision problem
2016

Degrees of infinite words, polynomials and atoms

Endrullis, J., Karhumäki, J., Klop, J. W. & Saarela, A., 2016, Developments in Language Theory - 20th International Conference, DLT 2016, Proceedings. Springer/Verlag, Vol. 9840. p. 164-176 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9840).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Infinite Words
Transducer
Transducers
Polynomials
Pure mathematics

Divide and Congruence II: Delay and Weak Bisimilarity

Fokkink, W. & van Glabbeek, R., 5 Jul 2016, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016. Institute of Electrical and Electronics Engineers, Inc., Vol. 05-08-July-2016. p. 778-787 10 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors

Swartjes, L., Reniers, M. A., Van Beek, D. A. & Fokkink, W. J., 22 Jun 2016, 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016. Institute of Electrical and Electronics Engineers, Inc., p. 14-21 8 p. 7497820

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Supervisory personnel
Synthesis
Supervisory Control
Predicate
Color
2015

A coinductive framework for infinitary rewriting and equational reasoning

Endrullis, J., Hansen, H. H., Hendriks, D., Polonsky, A. & Silva, A., 1 Jun 2015, 26th International Conference on Rewriting Techniques and Applications, RTA 2015. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 36. p. 143-159 17 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Bonsai: Cutting models down to size

Vijzelaar, S. J. J., Verstoep, K., Bal, H. E. & Fokkink, W. J., 2015, Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, Revised Selected Papers. Virbitskaite, I., Voronkov, A. & Virbitskaite, I. (eds.). Springer - Verlag, p. 361-375 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8974).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Model checking
Model Checking
Concurrent
Model
Concretes

Compositional metric reasoning with Probabilistic Process Calculi

Gebler, D., Larsen, K. & Tini, S., 2015, Proc. 18th Conference on Foundations of Software Science and Computational Structures - FOSSACS'15. Springer

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Crowd vs. experts: nichesourcing for knowledge intensive tasks in cultural heritage

Oosterman, J., Bozzon, A., Houben, G. J., Nottamkandath, A., Dijkshoorn, C. R., Aroyo, L. M., Leyssen, M. H. R. & Traub, M., 2015, WWW Companion volume.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Degrees of transducibility

Endrullis, J., Klop, J. W., Saarela, A. & Whiteland, M., 2015, Combinatorics on Words - 10th International Conference, WORDS 2015, Proceedings. Springer/Verlag, Vol. 9304. p. 1-13 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9304).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Turing machines
Preorder
Turing Machine
Transducer
Transducers

Maximally permissive controlled system synthesis for modal logic

van Hulst, A. C., Reniers, M. A. & Fokkink, W., 2015, SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science. Springer/Verlag, Vol. 8939. p. 230-241 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8939).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Modal Logic
Supervisory Control
Synthesis
Reachability
Specifications

Multi-valued abstraction using lattice operations

Vijzelaar, S. J. J. & Fokkink, W. J., 2015, Proc. 15th Conference on Application of Concurrency to System Design - ACSD'15. IEEE, p. 70-79

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Nested Term Graphs

Grabmayer, C. A. & van Oostrom, V., 2015, Proceedings 8th International Workshop on Computing with Terms and Graphs, Vienna, Austria, July 13, 2014. van Raamsdonk, F. & Middeldorp, A. (eds.). 183 ed. Vienna Summer of Logic, Vol. 2015. p. 48-65 (Electronic Proceedings in Theoretical Computer Science).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Specifications

Predicting Quality of Crowdsourced Annotations using Graph Kernels

Nottamkandath, A., Oosterman, J., de Vries, G. K. D., Ceolin, D. & Fokkink, W., 2015, Trust Management IX - 9th IFIP Working Group 11.11 International Conference on Trust Management, IFIPTM 2015, Proceedings. Murayama, Y., Dimitrakos, T., Jensen, C. D. & Marsh, S. (eds.). Springer New York, Vol. 454. p. 134-148 15 p. (IFIP Advances in Information and Communication Technology; vol. 454).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Kernel
Graph
Annotation
Prediction
Cultural heritage

Proving non-termination by finite automata

Endrullis, J. & Zantema, H., 1 Jun 2015, 26th International Conference on Rewriting Techniques and Applications, RTA 2015. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 36. p. 160-176 17 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Formal languages
Finite automata

Regularity-Preserving but not Reflecting Encodings

Endrullis, J., Grabmayer, C. A. & Hendriks, R. D. A., 2015, Proceedings of LICS. Palamidessi, C. (ed.). IEEE Xplore Digital Library, p. 535-546

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Encoding
Regularity
Bijective
Finite State Automata
Models of Computation

Syllogistic logic with “most”

Endrullis, J. & Moss, L. S., 2015, Logic, Language, Information and Computation - 22nd International Workshop, WoLLIC 2015, Proceedings. Springer/Verlag, Vol. 9160. p. 124-139 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9160).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Proof System
Acoustic waves
Logic
Finite Models
Strictly

The Degrees of Squares is an Atom

Endrullis, J., Grabmayer, C., Hendriks, D. & Zantema, H., 2015, Combinatorics on Words - 10th International Conference, WORDS 2015, Proceedings. Springer/Verlag, Vol. 9304. p. 109-121 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9304).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Polynomials
Atoms
Polynomial
Transducers
Periodic Sequence
2014

Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules

D'Argenio, P. R., Gebler, D. & Lee, M. D., 2014, Proc. 17th Conference on Foundations of Software Science and Computational Structures - FOSSACS'14. Springer, p. 289-303

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Crowdsourcing knowledge-intensive tasks in cultural heritage

Oosterman, J., Nottamkandath, A., Dijkshoorn, C., Bozzon, A., Houben, G. J. & Aroyo, L. M., 2014, ACM conference on Web science. ACM

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Fixed-point Characterization of Compositionality Properties of Probabilistic Process Combinators

Gebler, D. & Tini, S., 2014, Proc. 21th Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics - EXPRESS/SOS'14. EPTCS, p. 63-78

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Generalized bisimulation metrics

Chatzikokolakis, K., Gebler, D. & Palamidessi, C., 2014, Proc. 25th Conference on Concurrency Theory - CONCUR'14. Springer, p. 32-46

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Algebra

Maximal Sharing in the Lambda Calculus with Letrec

Grabmayer, C. A. & Rochel, J., 2014, Proceedings of the 19th ACM SIGPLAN international conference on Functional programming. Jeuring, J. & Chakravarty, M. M. T. (eds.). ACM, p. 67-80 (9).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Maximal synthesis for Hennessy-Milner logic with the box modality

van Hulst, A., Reniers, M. A. & Fokkink, W. J., 2014, Proc. 12th Workshop on Discrete Event Systems - WODES'14. IFAC-IEEE, p. 278-285

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Petri nets are a biologist's best friend

Bonzanni, N., Feenstra, K. A., Fokkink, W. J. & Heringa, J., 2014, Formal Methods in Macro-Biology: First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings. Springer/Verlag, p. 102-116 15 p. (Lecture Notes in Computer Science; vol. 8738)( Lecture Notes in Bioinformatics book sub series (LNBI); vol. 8738).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File
Concurrency
Petri nets
Petri Nets
Cell Differentiation
Stem Cells
2013

Algebraic Meta-Theory of Processes with Data

Gebler, E. D., Goriac, E-I. & Mousavi, M., 2013, Proc. 20th Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics - EXPRESS/SOS'13. Borgström, J. & Luttik, B. (eds.). EPTCS, Vol. 120. p. 63-77

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Compositionality of Approximate Bisimulation for Probabilistic Systems

Gebler, D. & Tini, S., 2013, Proc. 20th Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics - EXPRESS/SOS'13. Borgström, J. & Luttik, B. (eds.). EPTCS, p. 32-46

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Maximal synthesis for Hennessy-Milner logic

van Hulst, A., Reniers, M. A. & Fokkink, W. J., 2013, Proc. 13th Conference on Application of Concurrency to System Design - ACSD'13. IEEE, p. 1-10

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review