Pages that link to "Item:Q5206949"
From MaRDI portal
The following pages link to Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (Q5206949):
Displayed 9 items.
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- Replication, refinement \& reachability: complexity in dynamic condition-response graphs (Q1671247) (← links)
- A theory of monitors (Q2051767) (← links)
- Determinizing monitors for HML with recursion (Q2291832) (← links)
- Business Process Compliance Using Reference Models of Law (Q5039540) (← links)
- Consistently-detecting monitors (Q5111620) (← links)
- Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (Q5206949) (← links)
- On first-order runtime enforcement of branching-time properties (Q6090988) (← links)
- Declarative choreographies and liveness (Q6190184) (← links)