Pages that link to "Item:Q5712290"
From MaRDI portal
The following pages link to Lectures on Concurrency and Petri Nets (Q5712290):
Displaying 14 items.
- A symbolic model for timed concurrent constraint programming (Q530859) (← links)
- A brief history of Timed CSP (Q674191) (← links)
- Timed default concurrent constraint programming (Q679325) (← links)
- TimeC: A time constraint language for ILP processor compilation (Q698076) (← links)
- Situated simplification (Q1391936) (← links)
- Decidability of infinite-state timed CCP processes and first-order LTL (Q1763732) (← links)
- On validity in modelization of musical problems by CCP (Q1769676) (← links)
- A timed concurrent constraint language. (Q1854359) (← links)
- Timed CCP compositionally embeds Argos and Lustre (Q1882807) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- A framework for timed concurrent constraint programming with external functions (Q2867965) (← links)
- Abstract diagnosis for timed concurrent constraint programs (Q3087437) (← links)
- (Q4499205) (← links)
- Models for concurrent constraint programming (Q6104366) (← links)