Search results
From MaRDI portal
- Matias David Lee (section List of research outcomes)Automata 2018-02-16 Paper A general SOS theory for the specification of probabilistic transition systems 2016-07-07 Paper Axiomatizing Bisimulation Equivalences...10 bytes (15 words) - 02:13, 25 September 2023
- Axel Legay (section List of research outcomes)quantitative specification theories with modal transition systems 2014-08-29 Paper Parametric and Quantitative Extensions of Modal Transition Systems 2014-07-24...10 bytes (13 words) - 08:12, 25 September 2023
- Uli Fahrenberg (section List of research outcomes)quantitative specification theories with modal transition systems 2014-08-29 Paper Parametric and Quantitative Extensions of Modal Transition Systems 2014-07-24...10 bytes (13 words) - 00:40, 10 December 2023
- Kim G. Larsen (section List of research outcomes)metric space of formulas 2012-09-18 Paper Extending modal transition systems with structured labels 2012-09-06 Paper Modal transition systems with weight...10 bytes (17 words) - 08:59, 8 December 2023
- Joseph Sifakis (section List of research outcomes)approach for studying the properties of transition systems 1982-01-01 Paper Global and local invariants in transition systems 1982-01-01 Paper https://portal...10 bytes (15 words) - 18:40, 9 December 2023
- Alexandre Madeira (section List of research outcomes)with pseudo uninorms 2024-06-05 Paper Structured specification of paraconsistent transition systems 2024-05-03 Paper Logics for Petri Nets with Propagating...10 bytes (13 words) - 14:05, 11 December 2023
- L. S. Barbosa (section List of research outcomes)Date of Publication Type A logic for paraconsistent transition systems 2025-01-09 Paper Structured specification of paraconsistent transition systems 2024-05-03...10 bytes (17 words) - 14:04, 11 December 2023
- Narciso Martí-Oliet (section List of research outcomes)strategies specification in Maude 2020-06-08 Paper Programming and symbolic computation in Maude 2020-01-31 Paper Synchronous products of rewrite systems 2018-10-25...10 bytes (17 words) - 23:46, 12 December 2023
- Jan Křetínský (section List of research outcomes)algebra for modal transition systemses 2012-09-28 Paper Modal Process Rewrite Systems 2012-09-21 Paper Dual-Priced Modal Transition Systems with Time Durations...10 bytes (13 words) - 18:37, 12 December 2023
- Fei Liu (section List of research outcomes)Markovian jump systems with partly unknown transition rates 2018-08-16 Paper Collective behavior of mixed-order linear multi-agent systems under output-coupled...10 bytes (13 words) - 23:40, 24 September 2023
- Hartmut Ehrig (section List of research outcomes)Reconfigurations of Open Petri Nets 2009-04-29 Paper Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems 2009-03-11...10 bytes (15 words) - 10:43, 8 December 2023
- Nikola Beneš (section List of research outcomes)algebra for modal transition systemses 2012-09-28 Paper Modal Process Rewrite Systems 2012-09-21 Paper Dual-Priced Modal Transition Systems with Time Durations...10 bytes (13 words) - 13:02, 10 December 2023
- M. Große-Rhode (section List of research outcomes)transformation systems. 2002-09-09 Paper Formal software specification with refinements and modules of typed graph transformation systems 2002-08-04 Paper https://portal...10 bytes (15 words) - 00:40, 9 December 2023
- Piotr Oprocha (section List of research outcomes)A panorama of specification-like properties and their consequences 2016-10-20 Paper On entropy of dynamical systems with almost specification 2016-09-16...10 bytes (15 words) - 22:28, 9 December 2023
- Alberto Verdejo (section List of research outcomes)strategies specification in Maude 2020-06-08 Paper Compositional Specification in Rewriting Logic 2020-05-04 Paper Synchronous products of rewrite systems 2018-10-25...10 bytes (15 words) - 06:00, 7 October 2023
- estimates for dynamical systems without the specification property. Application to the β-shifts 2005-03-10 Paper On the singularity of the free energy at a...10 bytes (15 words) - 10:49, 12 December 2023
- P. R. D'Argenio (section List of research outcomes)general SOS theory for the specification of probabilistic transition systems 2016-07-07 Paper Statistical Approximation of Optimal Schedulers for Probabilistic...10 bytes (15 words) - 01:17, 9 December 2023
- Igor S. Anureev (section List of research outcomes)Ontological transition systems structures 2012-05-11 Paper A language of actions in ontological transition systems 2012-05-11 Paper Effective generation of verification...10 bytes (15 words) - 13:58, 8 December 2023
- Andrzej Wąsowski (section List of research outcomes)Paper Methodologies for Specification of Real-Time Systems Using Timed I/O Automata 2011-01-08 Paper Modal and mixed specifications: key decision problems...10 bytes (13 words) - 10:17, 11 December 2023
- Andrea Corradini (section List of research outcomes)Dependencies for the Specification of Interactive Systems 2009-10-22 Paper Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets 2009-04-29...10 bytes (13 words) - 17:45, 24 September 2023
