×

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; Rodin; Isabelle/UTP; Simulink; ClawZ; Z/EVES; ArcAngel; Isabelle/HOL; FDR2; SPIN; Eiffel; Handel-C; csp2B; FDR3; Isabelle/Circus; StateFlow; ArcAngelC; ProB
Cited in: 83 Documents
all top 5

Cited by 118 Authors

34 Cavalcanti, Ana
24 Woodcock, James C. P.
11 Zeyda, Frank
7 Foster, Simon
6 Sampaio, Augusto C. A.
5 Oliveira, Marcel
4 Butterfield, Andrew
4 Hayes, Ian J.
4 Liu, Zhiming
3 Brooke, Phillip J.
3 Colvin, Robert J.
3 He, Jifeng
3 Wehrheim, Heike
3 Wei, Kun
3 Zhu, Huibiao
2 Arbab, Farhad
2 Bauer, Sebastian S.
2 Bowen, Jonathan P.
2 Burns, Alan D.
2 Clayton, Phil
2 Dong, JinSong
2 Frappier, Marc
2 Gaudel, Marie-Claude
2 Gomes, Artur Oliveira
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 Potanin, Alex
2 Qin, Shengchao
2 Ravn, Anders P.
2 Runge, Tobias
2 Schaefer, Ina
2 Sun, Jun
2 Treharne, Helen
2 Wellings, Andy
2 Wirsing, Martin
2 Ye, Kangfeng
2 Zhan, Naijun
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 Baxter, James
1 Bordis, Tabea
1 Boström, Pontus
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 Farrell, Marie
1 Ferreira, Patrícia
1 Fraikin, Benoît
1 Freitas, Leo
1 Gazda, Maciej W.
1 Gervais, Frédéric
1 Gleirscher, Mario
1 Gomes, Victor B. F.
1 Hierons, Robert Mark
1 Jifeng, He
1 Ke, Wei
1 Kittelmann, Alexander
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 Monahan, Rosemary
1 Olderog, Ernst-Rüdiger
1 Oliva, Paulo
1 Power, James F.
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 Servetto, Marco
...and 18 more Authors

Citations by Year