×

Circus

swMATH ID: 21828
Software Authors: Woodcock, J.C.P., Cavalcanti, A.L.C.
Description: 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.
Homepage: https://link.springer.com/chapter/10.1007/3-540-45648-1_10
Related Software: Z; ProofPower; ZRC; Isabelle/UTP; Simulink; ClawZ; Rodin; FDR2; Handel-C; Isabelle/HOL; csp2B; SPIN; Z/EVES; ArcAngel; Eiffel; Isabelle/Circus; ArcAngelC; Archive Formal Proofs; Coq; TCOZ
Cited in: 73 Publications
all top 5

Cited by 101 Authors

33 Cavalcanti, Ana
23 Woodcock, James C. P.
11 Zeyda, Frank
6 Foster, Simon
6 Sampaio, Augusto C. A.
4 Hayes, Ian J.
4 Oliveira, Marcel
3 Brooke, Phillip J.
3 Colvin, Robert J.
3 He, Jifeng
3 Liu, Zhiming
3 Wehrheim, Heike
3 Wei, Kun
2 Arbab, Farhad
2 Bauer, Sebastian S.
2 Burns, Alan D.
2 Butterfield, Andrew
2 Clayton, Phil
2 Dong, JinSong
2 Frappier, Marc
2 Gaudel, Marie-Claude
2 Hallerstede, Stefan
2 Hennicker, Rolf
2 Jacob, Jeremy L.
2 Meng, Sun
2 Mota, Alexandre C.
2 O’Halloran, Colin
2 Paige, Richard F.
2 Qin, Shengchao
2 Ravn, Anders P.
2 Sun, Jun
2 Treharne, Helen
2 Wellings, Andy
2 Wirsing, Martin
2 Zhan, Naijun
2 Zhu, Huibiao
1 Aguirre, Nazareno M.
1 Aichernig, Bernhard K.
1 Amálio, Nuno
1 Armstrong, Alasdair
1 Arthan, Rob D.
1 Aştefănoaei, Lăcrămioara
1 Banks, Michael J.
1 Boström, Pontus
1 Bowen, Jonathan P.
1 Calinescu, Radu C.
1 Canham, Samuel
1 Castro, Pablo F.
1 Chen, Chunqing
1 Chen, Mingshuai
1 Chen, Zhenbang
1 de Boer, Frank S.
1 Degerlund, Fredrik
1 Derrick, John
1 Dong, Ruzhen
1 Dunne, Steve E.
1 Evans, Neil D.
1 Faber, Johannes
1 Ferreira, Patrícia
1 Fraikin, Benoît
1 Freitas, Leo
1 Gervais, Frédéric
1 Gleirscher, Mario
1 Gomes, Victor B. F.
1 Jifeng, He
1 Ke, Wei
1 Laleau, Régine
1 Leuschel, Michael
1 Li, Xiaoshan
1 Liu, Yang
1 López Pombo, Carlos Gustavo
1 Maibaum, Thomas Stephen Edward
1 Martin, Ursula
1 Meinicke, Larissa A.
1 Milhau, Jérémy
1 Miyazawa, Alvaro
1 Möller, Michael
1 Olderog, Ernst-Rüdiger
1 Oliva, Paulo
1 Rasch, Holger
1 Reed, Joy N.
1 Ribeiro, Pedro
1 Roscoe, Andrew William
1 Rutten, Jan J. M. M.
1 Schneider, Steve A.
1 Sere, Kaisa
1 Sheng, Feng
1 Sherif, Adnan
1 Shi, Ling
1 Sinclair, Jane E.
1 Stolz, Volker
1 Struth, Georg
1 Thiele, Bernhard
1 Waldén, Marina
1 Wang, Shuling
1 Winter, Kirsten
1 Xavier, Manuela
1 Yang, MengFei
1 Yang, Zongyuan
1 Ye, Kangfeng
...and 1 more Authors

Citations by Year