A Structural Embedding of Ocsid in PVS

This publication has 23 references indexed in Scilit:

• An Isabelle-based theorem prover for VDM-SL
  Published by Springer Nature ,1997
• The B-Book
  Published by Cambridge University Press (CUP) ,1996
• Fast Software Encryption
  Published by Springer Nature ,1994
• The VDM-SL Reference Guide
  Published by Taylor & Francis ,1991
• Decentralization of process nets with centralized control
  Distributed Computing, 1989
• Parallel Program Design
  Published by Springer Nature ,1989
• Distributed cooperation with action systems
  ACM Transactions on Programming Languages and Systems, 1988
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985
• Distributed deadlock detection
  ACM Transactions on Computer Systems, 1983
• Termination detection for diffusing computations
  Information Processing Letters, 1980