The following pages link to Goltz, Ursula (Q161640):
Displayed 33 items.
- (Q271713) (redirect page) (← links)
- Hybrid automata as a modelling approach in the behavioural sciences (Q271714) (← links)
- Modelling causality via action dependencies in branching time semantics (Q671596) (← links)
- Finite Petri nets as models for recursive causal behaviour (Q1318729) (← links)
- Well-behaved flow event structures for parallel composition and action refinement (Q1884941) (← links)
- Comparing syntactic and semantic action refinement (Q1917085) (← links)
- Abstract processes of place/transition systems (Q1944098) (← links)
- Abstract processes and conflicts in place/transition systems (Q2051771) (← links)
- Abstract processes in the absence of conflicts in general place/transition systems (Q2105420) (← links)
- Synchronous and asynchronous communication(s) between three parties (Q2182658) (← links)
- On Characterising Distributability (Q2848362) (← links)
- On Distributability of Petri Nets (Q2892781) (← links)
- Synchrony versus causality in distributed systems (Q2971080) (← links)
- On Causal Semantics of Petri Nets (Q3090821) (← links)
- The non-sequential behaviour of Petri nets (Q3343446) (← links)
- On Synchronous and Asynchronous Interaction in Distributed Systems (Q3599113) (← links)
- (Q3674068) (← links)
- (Q3675536) (← links)
- (Q3687725) (← links)
- (Q3769976) (← links)
- (Q3773356) (← links)
- (Q3795192) (← links)
- (Q3806827) (← links)
- (Q3975146) (← links)
- (Q4490738) (← links)
- (Q4733429) (← links)
- (Q4808849) (← links)
- (Q4965864) (← links)
- Causal testing (Q5054889) (← links)
- Symmetric and Asymmetric Asynchronous Interaction (Q5166614) (← links)
- On Distributability in Process Calculi (Q5326293) (← links)
- (Q5748880) (← links)
- Refinement of actions and equivalence notions for concurrent systems (Q5925821) (← links)