Goltz, Ursula

Available identifiers

zbMath Open goltz.ursulaMaRDI QIDQ161640

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Goltz, Ursula