Formal techniques for systems specification and verification

This publication has 10 references indexed in Scilit:

• Branching versus linear logics yet again
  Formal Aspects of Computing, 1990
• Specification and verification of database dynamics
  Acta Informatica, 1988
• The INFOLOG linear tense propositional logic of events and transactions
  Information Systems, 1986
• Modeling concurrency with partial orders
  International Journal of Parallel Programming, 1986
• “Sometimes” and “not never” revisited
  Journal of the ACM, 1986
• Decision procedures and expressiveness in the temporal logic of branching time
  Journal of Computer and System Sciences, 1985
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981
• Temporal aspects of logical procedure definition
  Information Systems, 1980
• An axiomatic basis for computer programming
  Communications of the ACM, 1969