Maciej Gazda

Available identifiers

Publication	Date of Publication	Type
Testing using CSP Models: Time, Inputs, and Outputs	2023-04-05	Paper
Removing redundant refusals: minimal complete test suites for failure trace semantics	2023-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q5028468	2022-02-09	Paper
Improvement in small progress measures	2021-12-03	Paper
Zielonka's recursive algorithm: dull, weak and solitaire games and tighter bounds	2021-06-09	Paper
Expressiveness and completeness in abstraction	2021-04-27	Paper
Congruence from the operator's point of view: compositionality requirements on process semantics	2021-02-24	Paper
Modal logic and the approximation induction principle	2021-01-26	Paper
Congruence from the operator's point of view. Syntactic requirements on modal characterizations	2020-05-26	Paper
Cooking Your Own Parity Game Preorders Through Matching Plays	2018-07-24	Paper
Distinguishing between communicating transactions	2018-03-21	Paper
Abstraction in fixpoint logic	2017-07-12	Paper
On parity game preorders and the logic of matching plays	2016-03-10	Paper
Consistent consequence for Boolean equation systems	2012-06-15	Paper
Modal logic and the approximation induction principle	2012-05-11	Paper

This page was built for person: Maciej Gazda