Transition system models for concurrency

von Mukund, Madhavan
Veröffentlicht 1992

CCS, locations, and asynchronous transition systems

von Mukund, Madhavan
Veröffentlicht 1992

A Local-Time Semantics for Negotiations

von Mukund, Madhavan
Veröffentlicht in FORMATS (21. : 2023 : Antwerpen) Formal modeling and analysis of timed systems (2023)

Determinizing asynchronous automata

von Klarlund, Nils
Veröffentlicht 1993

Perspectives in concurrency theory ; a festschrift for P S Thiagarajan

Veröffentlicht 2009

Formalizing and Checking Multilevel Consistency

von Bouajjani, Ahmed
Veröffentlicht in VMCAI (21. : 2020 : New Orleans, La.) Verification, model checking, and abstract interpretation (2020)

FST TCS 2001: Foundations of software technology and theoretical computer science : 21st Conference, Bangalore, India, December 13 - 15, 2001; proceedings

Veröffentlicht 2001