A UTP Semantics of pGCL as a Homogeneous Relation-Reference-Cited by-同舟云学术

A UTP Semantics of pGCL as a Homogeneous Relation

Published:2012 Issue: Volume: Page:191-205
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bresciani Riccardo,Butterfield Andrew

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-30729-4_14.pdf

Reference23 articles.

1. Bresciani, R., Butterfield, A.: Towards a UTP-style framework to deal with probabilities. Technical Report TCD-CS-2011-09, FMG, Trinity College Dublin, Ireland (August 2011)

2. Lecture Notes in Computer Science,2010

3. Lecture Notes in Computer Science;Y. Chen,2009

4. Deng, Y., van Glabbeek, R.J., Hennessy, M., Morgan, C.: Characterising testing preorders for finite probabilistic processes. Logical Methods in Computer Science 4(4) (2008)

5. Lecture Notes in Computer Science,2006

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Unifying semantic foundations for automated verification tools in Isabelle/UTP;Science of Computer Programming;2020-10

2. Features of Integrated Model-Based Co-modelling and Co-simulation Technology;Software Engineering and Formal Methods;2018

3. Automating Verification of State Machines with Reactive Designs and Isabelle/UTP;Formal Aspects of Component Software;2018

4. Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL;Concurrency, Security, and Puzzles;2016-12-18

5. Denotational semantics and its algebraic derivation for an event-driven system-level language;Formal Aspects of Computing;2015-01