Edinburgh Research Archive: Browsing ERA

Edinburgh Research Archive

Browsing by Author Bradfield, Julian

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 3 of 3

Issue Date	Title	Author(s)	Supervisor(s)
Jul-1998	Equivalence semantics for concurrency: comparison and application	Galpin, Vashti C	Bradfield, Julian
30-Jun-2011	On bisimulation and model-checking for concurrent systems with partial order semantics	Gutierrez, Julian	Bradfield, Julian; Stark, Ian; Stirling, Colin
2010	Tableau systems for the modal μ-calculus	Jungteerapanich, Natthapong	Stirling, Colin; Bradfield, Julian

Showing results 1 to 3 of 3