Pages that link to "Item:Q1893730"
From MaRDI portal
The following pages link to A logical study of distributed transition systems (Q1893730):
Displaying 20 items.
- Logic in India -- editorial introduction (Q763470) (← links)
- Petri nets, traces, and local model checking (Q1391100) (← links)
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
- Deciding global partial-order properties (Q1774565) (← links)
- Difficult configurations -- on the complexity of LTrL (Q1774566) (← links)
- Logic of transition systems (Q1895974) (← links)
- Synthesising elementary net systems with localities (Q2077411) (← links)
- The dark side of interval temporal logic: marking the undecidability border (Q2251125) (← links)
- An expressively complete linear time temporal logic for Mazurkiewicz traces (Q2506491) (← links)
- Prompt Interval Temporal Logic (Q2835872) (← links)
- Labelled Tableaux for Distributed Temporal Logic (Q3656773) (← links)
- (Q3802600) (← links)
- (Q4499210) (← links)
- Distribution of Modal Transition Systems (Q4647857) (← links)
- (Q4845051) (← links)
- Petri nets, traces, and local model checking (Q5096394) (← links)
- Keeping track of the latest gossip in a distributed system (Q5137336) (← links)
- Knowledge and Local Actions (Q5213656) (← links)
- Models and logics for true concurrency. (Q5955751) (← links)
- Trace consistency and inevitability (Q6567776) (← links)