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 all top 5 Cited in 8 Serials 29 Formal Aspects of Computing 8 Science of Computer Programming 4 Theoretical Computer Science 2 Real-Time Systems 1 Acta Informatica 1 Information Processing Letters 1 Formal Methods in System Design 1 Journal of Logical and Algebraic Methods in Programming Cited in 3 Fields 73 Computer science (68-XX) 3 Systems theory; control (93-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year