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

Group by: Item Type | Date | No Grouping

Jump to: Article | Monograph | Conference or workshop item

Number of items: 6.

Article

Boiten, Eerke Albert and Schneider, Steve 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). (doi:https://doi.org/10.1007/s00165-013-0290-7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Monograph

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 (Full text available)

Preview

Bryans, Jeremy W. and Davies, Jim and Schneider, Steve 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 currently available from this repository. You may be able to access a copy if URLs are provided)

Conference or workshop item

Boiten, Eerke Albert and Derrick, John (2005) Formal Program Development with Approximations. In: Treharne, Helen and King, Steve and Henson, Martin C. and Schneider, Steve A., eds. Lecture Notes in Computer Science. ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users. Lecture Notes in Computer Science, 3455. Springer-Verlag Berlin pp. 374-392. ISBN 3-540-25559-1. (doi:https://doi.org/10.1007/11415787_22) (Full text available)

Preview

Davies, Jim and Bryans, Jeremy W. and Schneider, Steve A. (1996) Real-time LOSTOS and Timed Observations. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bryans, Jeremy W. and Davies, Jim and Schneider, Steve A. (1995) Towards a Denotational Semantics for Timed LOTOS. In: Lecture Notes in Computer Science. Springer-Verlag Berlin (doi:https://doi.org/10.1007/3-540-60218-6_20) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Thu May 23 11:15:28 2019 BST.

Export as	Atom RSS 1.0 RSS 2.0