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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 10.

Article

Boiten, E.A. and Schneider, S.A. (2014) Editorial: Special Issue on Cryptography and Formal Methods. Formal Aspects of Computing, 26 (1). pp. 1-2. ISSN 0934-5043 (Print) 1433-299X (Online). (The full text of this publication is not available from this repository)

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 (Full text available)
[img]
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. (Full text available)
[img]
Preview

Ritson, Carl G. and Barnes, Frederick R.M. (2007) A Process Oriented Approach to USB Driver Development. In: Communicating Process Architectures 2007, 2007. (Full text available)
[img]
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. (Full text available)
[img]
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. (Full text available)
[img]
Preview

Boiten, E.A. and Derrick, J. (2005) Formal Program Development with Approximations. In: UNSPECIFIED. (Full text available)
[img]
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 Fri Apr 18 16:42:49 2014 BST.