Ursula Goltz

Available identifiers

zbMath Open goltz.ursulaMaRDI QIDQ161640

List of research outcomes

Publication	Date of Publication	Type
Stronger Validity Criteria for Encoding Synchrony	2024-03-14	Paper
Causal testing	2022-12-11	Paper
Abstract processes in the absence of conflicts in general place/transition systems	2022-12-08	Paper
Abstract processes and conflicts in place/transition systems	2021-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4965864	2021-03-10	Paper
Synchronous and asynchronous communication(s) between three parties	2020-05-26	Paper
Synchrony versus causality in distributed systems	2017-04-04	Paper
Hybrid automata as a modelling approach in the behavioural sciences	2016-04-19	Paper
Symmetric and Asymmetric Asynchronous Interaction	2014-06-27	Paper
On characterising distributability	2013-09-26	Paper
On Distributability in Process Calculi	2013-08-05	Paper
Abstract processes of place/transition systems	2013-04-04	Paper
On Distributability of Petri Nets	2012-06-22	Paper
On Causal Semantics of Petri Nets	2011-09-02	Paper
On Synchronous and Asynchronous Interaction in Distributed Systems	2009-02-03	Paper
Well-behaved flow event structures for parallel composition and action refinement	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4808849	2004-08-12	Paper
Refinement of actions and equivalence notions for concurrent systems	2001-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4490738	2000-07-20	Paper
Modelling causality via action dependencies in branching time semantics	1997-02-27	Paper
Comparing syntactic and semantic action refinement	1996-07-03	Paper
Finite Petri nets as models for recursive causal behaviour	1994-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q3975146	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q5748880	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4733429	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3795192	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3769976	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3773356	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3806827	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3687725	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3675536	1984-01-01	Paper
The non-sequential behaviour of Petri nets	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3674068	1983-01-01	Paper

Research outcomes over time

This page was built for person: Ursula Goltz