The following pages link to LoLA (Q16557):
Displaying 26 items.
- The sweep-line state space exploration method (Q418783) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Towards verification of computation orchestration (Q736807) (← links)
- Question-guided stubborn set methods for state properties (Q862861) (← links)
- Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens (Q1616270) (← links)
- Stubborn versus structural reductions for Petri nets (Q1633343) (← links)
- PTrie: data structure for compressing and storing sets via prefix sharing (Q1675812) (← links)
- Implementing coloured Petri nets using a functional programming language (Q1768480) (← links)
- A lazy query scheme for reachability analysis in Petri nets (Q2117184) (← links)
- Computing the concurrency threshold of sound free-choice workflow nets (Q2324223) (← links)
- Some complexity results for stateful network verification (Q2335903) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- (Q2766586) (← links)
- (Q2775869) (← links)
- Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method (Q2908211) (← links)
- Two Decades of Maude (Q2945709) (← links)
- (Q3045256) (← links)
- (Q3045275) (← links)
- Model Checking Data Flows in Concurrent Network Updates (Q3297609) (← links)
- (Q4417950) (← links)
- (Q4535180) (← links)
- (Q4535183) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308407) (← links)
- Four Steps Towards Sound Business Process Models (Q5392156) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712333) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713503) (← links)
