A Failures Semantics for ET-LOTOS

Schneider, Steve A. and Bryans, Jeremy W. and Davies, Jim (1994) A Failures Semantics for ET-LOTOS. Technical report. , Presented at the COST 247 - WG 6.1 working group meeting in Brighton

Item Type:	Monograph (Technical report)
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User:	Mark Wheadon
Date Deposited:	29 Jun 2011 11:12 UTC
Last Modified:	28 May 2019 14:00 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/21190 (The current URI for this page, for reference purposes)