The following pages link to Astrid Kiehn (Q2327486):
Displaying 13 items.
- (Q685413) (redirect page) (← links)
- Observing localities (Q685414) (← links)
- A theory of processes with localities (Q1329198) (← links)
- Consistency as a branching time notion (Q2327488) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
- An Operational Semantics for Shared Messaging Communication (Q2871831) (← links)
- (Q3815533) (← links)
- (Q3823804) (← links)
- (Q4035230) (← links)
- (Q4349577) (← links)
- (Q4371023) (← links)
- Developments in Language Theory (Q5473678) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479164) (← links)
