The Denotational Semantics of slotted-Circus-Reference-Cited by-同舟云学术

The Denotational Semantics of slotted-Circus

Published:2009 Issue: Volume: Page:451-466
ISSN:0302-9743
Container-title:FM 2009: Formal Methods
language:
Short-container-title:

Author:

Gancarski Paweł,Butterfield Andrew

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-05089-3_29.pdf

Reference22 articles.

1. Butterfield, A., Gancarski, P.: Slotted-Circus: A generic UTP framework for discretely-timed circus. Technical Report TCD-CS-09-32, School of Computer Science & Statistic Trinity College Dublin, Trinity College, Dublin 2, Ireland (July 2009), https://www.cs.tcd.ie/publications/tech-reports/reports.09/TCD-CS-2009-32.pdf

2. Lecture Notes in Computer Science;A. Butterfield,2007

3. Butler, M.J.: csp2b: A practical approach to combining csp and b. Formal Aspects of Computing 12, 182–196 (2000)

4. Butterfield, A., Woodcock, J.: Prialt in Handel-C: an operational semantics. International Journal on Software Tools for Technology Transfer (STTT) 7(3), 248–267 (2005)

5. Celoxica Ltd. Handel-C Language Reference Manual, v3.0 (2002), http://www.celoxica.com

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

1. The Inner and Outer Algebras of Unified Concurrency;Unifying Theories of Programming;2019

2. Formal Models of SysML Blocks;Formal Methods and Software Engineering;2013

3. A UTP Semantics of pGCL as a Homogeneous Relation;Lecture Notes in Computer Science;2012

4. A denotational semantics for Handel-C;Formal Aspects of Computing;2011-03

5. Prioritized slotted-Circus;Lecture Notes in Computer Science;2010