The Semantics of Circus. Circus is a concurrent language for refinement; it is a unification of imperative CSP, Z, and the refinement calculus. We describe the language of Circus and the formalisation of its model in Hoare & He’s unifying theories of programming.

References in zbMATH (referenced in 88 articles )

Showing results 1 to 20 of 88.
Sorted by year (citations)

1 2 3 4 5 next

  1. Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank: Unifying theories of reactive design contracts (2020)
  2. Sheng, Feng; Zhu, Huibiao; He, Jifeng; Yang, Zongyuan; Bowen, Jonathan P.: Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (2020)
  3. Hayes, Ian J.; Meinicke, Larissa A.; Winter, Kirsten; Colvin, Robert J.: A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (2019)
  4. Foster, Simon; Cavalcanti, Ana; Woodcock, Jim; Zeyda, Frank: Unifying theories of time with generalised reactive processes (2018)
  5. Shi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao: A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (2018)
  6. Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun: A two-way path between formal and informal design of embedded systems (2017)
  7. Foster, Simon; Thiele, Bernhard; Cavalcanti, Ana; Woodcock, Jim: Towards a UTP semantics for Modelica (2017)
  8. Ribeiro, Pedro; Cavalcanti, Ana; Woodcock, Jim: A stepwise approach to linking theories (2017)
  9. Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg: Building program construction and verification tools from algebraic principles (2016)
  10. Cavalcanti, Ana; Woodcock, Jim; Amálio, Nuno: Behavioural models for FMI co-simulations (2016)
  11. Foster, Simon; Zeyda, Frank; Woodcock, Jim: Unifying heterogeneous state-spaces with lenses (2016)
  12. Castro, Pablo F.; Aguirre, Nazareno; Pombo, Carlos L.; Maibaum, T. S. E.: Categorical foundations for structured specifications in (\mathsfZ) (2015)
  13. Cavalcanti, Ana; Gaudel, Marie-Claude: Test selection for traces refinement (2015)
  14. Mota, A.; Farias, A.; Woodcock, J.; Larsen, P. G.: Model checking CML: tool development and industrial applications (2015) ioport
  15. Salehi Fathabadi, Asieh; Butler, Michael; Rezazadeh, Abdolbaghi: Language and tool support for event refinement structures in event-B (2015) ioport
  16. Zeyda, Frank; Cavalcanti, Ana: Laws of mission-based programming (2015)
  17. Zhu, H.; He, Jifeng; Qin, Shengchao; Brooke, Phillip: Denotational semantics and its algebraic derivation for an event-driven system-level language (2015)
  18. Banks, Michael J.; Jacob, Jeremy L.: On integrating confidentiality and functionality in a formal method (2014)
  19. Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa; Waldén, Marina: Derivation of concurrent programs by stepwise scheduling of Event-B models (2014)
  20. Frappier, Marc; Gervais, Frédéric; Laleau, Régine; Milhau, Jérémy: Refinement patterns for ASTDs (2014)

1 2 3 4 5 next