PTSC: probability, time and shared-variable concurrency

This publication has 17 references indexed in Scilit:

• An Observational Model for Transactional Calculus of Services Orchestration
  Published by Springer Nature ,2008
• Verifying BPEL-Like Programs with Hoare Logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2008
• A Formal Model for Compensable Transactions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2007
• Algebraic theory of probabilistic processes
  The Journal of Logic and Algebraic Programming, 2003
• Programming in Prolog
  Published by Springer Nature ,2003
• An animatable operational semantics of the Verilog hardware description language
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
  International Journal of Foundations of Computer Science, 2002
• Partial correctness for probabilistic demonic programs
  Theoretical Computer Science, 2001
• Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language
  Published by Springer Nature ,2000
• Probabilistic predicate transformers
  ACM Transactions on Programming Languages and Systems, 1996