The modelling of temporal properties in a process algebra framework /

Description

Thesis (PhD)--University of South Australia, 1999

Links & Downloads

1. http://arrow.unisa.edu.au:8081/1959.8/85611
2. http://arrow.unisa.edu.au/vital/access/manager/Repository/unisa:43029

Tags

Parallel computers

Additional Fields

Identifer	oai:union.ndltd.org:ADTP/268446
Creators	Cowie, Alexander James
Source Sets	Australiasian Digital Theses Program
Language	English
Detected Language	English
Rights	copyright under review