CCSP swMATH ID: 111 Software Authors: Arrowsmith, Beth; McMillin, Bruce Description: CCSP: A formal system for distributed program debugging. One of the major problems with programming in a parallel/distributed environment is the difficulty in debugging the programs due to their complex interactions. One can have results that appear random, but when given a complete knowledge of the specific run-time bahavior, the results are foregone. Unfortunately, this complete knowledge is not generally atainable in a distributed system. In order to develop a system for debugging distributed programs and, for the more general case, ensuring their correctness at run-time, we built a distributed execution environment based on Hoare’s CSP which allows for the execution and evaluation of embedded assertions within the CSP program. Homepage: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.49.8800&rep=rep1&type=pdf Related Software: Circus; FDR3; Z Cited in: 14 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year CCSP: A formal system for distributed program debugging. Zbl 0925.68074Arrowsmith, Beth; McMillin, Bruce 1995 all top 5 Cited by 23 Authors 2 El-Najdawi, Mohammad K. 1 Alimonti, Paola 1 Arrowsmith, Beth 1 Battiti, Roberto 1 Boucheham, Bachir 1 Bulatov, Andrei A. 1 Cao, Jiannong 1 Chen, Yifeng 1 Chen, Zhenbang 1 Geller, Felix 1 Gu, Xiwu 1 He, Yanxiang 1 Kleindorfer, Paul R. 1 Liu, Zhiming 1 Lu, Zhengding 1 Marx, Dániel 1 McMillin, Bruce M. 1 Oliveira, Marcel 1 Pillai, Harish K. 1 Protasi, Marco 1 Vaandrager, Frits W. 1 van Glabbeek, Robert Jan 1 Veksler, Michael all top 5 Cited in 9 Serials 1 Discrete Applied Mathematics 1 Management Science 1 Programming and Computer Software 1 Signal Processing 1 Multidimensional Systems and Signal Processing 1 European Journal of Operational Research 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 Journal of Software 1 Logical Methods in Computer Science Cited in 4 Fields 10 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year