Browse by Person (creator, editor, contributor, etc.)

Up a level

Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSObject IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager	Atom RSS 1.0 RSS 2.0

Group by: Item Type | Date | No Grouping

Jump to: Monograph | Conference or workshop item

Number of items: 9.

Monograph

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

Preview

Bryans, J.W. and Davies, J.W. and Schneider, S.A. (1994) Real-time CSP and ET-LOTOS. Technical report. Reading University, Presented at the COST 247 WG 6.1 working group meeting in Brighton The full text of this publication is not available from this repository.

Conference or workshop item

Simpson, J. and Jacobsen, Christian L. and Jadud, Matthew C. (2007) A Native Transterpreter for the LEGO Mindstorms RCX. In: Communicating Process Architectures 2007.

Preview

Ritson, Carl G. and Barnes, F.R.M. (2007) A Process Oriented Approach to USB Driver Development. In: Communicating Process Architectures 2007, 2007.

Preview

Ritson, Carl G. and Welch, P.H. (2007) A Process-Oriented Architecture for Complex System Modelling. In: McEwan, A.A. and Schneider, S.A. and Ifill, W. and Welch, P.H., eds. Communicating Process Architectures 2007. Concurrent Systems Engineering Series, 65. IOS Press, Amsterdam, The Netherlands pp. 249-266. ISBN 978-1-58603-767-3.

Preview

Welch, P.H. and Brown, N.C.C. and Moores, J. and Chalmers, K. and Sputh, B. (2007) Integrating and Extending JCSP. In: Communicating Process Architectures 2007, Jul, 2007, Guildford.

Preview

Boiten, E.A. and Derrick, J. (2005) Formal Program Development with Approximations. In: UNSPECIFIED.

Preview

Davies, J.W. and Bryans, J.W. and Schneider, S.A. (1996) Real-time LOSTOS and Timed Observations. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Bryans, J.W. and Davies, J.W. and Schneider, S.A. (1995) Towards a Denotational Semantics for Timed LOTOS. In: Lecture Notes in Computer Science 962. The full text of this publication is not available from this repository.

This list was generated on Thu May 23 00:59:14 2013 BST.