Jones, Cliff B. (ed.); Misra, Jayadev (ed.) Theories of programming. The life and works of Tony Hoare. (English) Zbl 1473.68016 ACM Books 39. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-8728-6/hbk; 978-1-4503-8729-3/pbk; 978-1-4503-8731-6/ebook). xx, 429 p. (2021). Reviewer: Haim Kilov (Millington) MSC: 68-06 01A70 68-03 68N30 68Q55 68Q85 00B15 PDF BibTeX XML Cite \textit{C. B. Jones} (ed.) and \textit{J. Misra} (ed.), Theories of programming. The life and works of Tony Hoare. New York, NY: Association for Computing Machinery (ACM) (2021; Zbl 1473.68016) Full Text: DOI OpenURL
Ekembe Ngondi, Gerard Denotational semantics of channel mobility in UTP-CSP. (English) Zbl 07395152 Formal Asp. Comput. 33, No. 4-5, 803-826 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{G. Ekembe Ngondi}, Formal Asp. Comput. 33, No. 4--5, 803--826 (2021; Zbl 07395152) Full Text: DOI OpenURL
Hoare, Tony; Struth, Georg; Woodcock, Jim A calculus of space, time, and causality: its algebra, geometry, logic. (English) Zbl 07168631 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 3-21 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{T. Hoare} et al., Lect. Notes Comput. Sci. 11885, 3--21 (2019; Zbl 07168631) Full Text: DOI Link OpenURL
Wang, Yong Probabilistic process algebra to unifying quantum and classical computing in closed systems. (English) Zbl 1428.81062 Int. J. Theor. Phys. 58, No. 10, 3436-3509 (2019). MSC: 81P68 68W01 68Q85 PDF BibTeX XML Cite \textit{Y. Wang}, Int. J. Theor. Phys. 58, No. 10, 3436--3509 (2019; Zbl 1428.81062) Full Text: DOI arXiv OpenURL
Wang, Yong An axiomatization for quantum processes to unifying quantum and classical computing. (English) Zbl 1468.81032 Int. J. Theor. Phys. 58, No. 10, 3295-3322 (2019). MSC: 81P68 81P45 PDF BibTeX XML Cite \textit{Y. Wang}, Int. J. Theor. Phys. 58, No. 10, 3295--3322 (2019; Zbl 1468.81032) Full Text: DOI arXiv OpenURL
Zhan, Naijun; Wang, Shuling; Zhao, Hengjun Formal verification of Simulink/Stateflow diagrams. A deductive approach. (English) Zbl 1412.68006 Cham: Springer (ISBN 978-3-319-47014-6/hbk; 978-3-319-47016-0/ebook). xv, 258 p. (2017). Reviewer: Andreas Maletti (Leipzig) MSC: 68-02 68N30 68Q60 68Q85 PDF BibTeX XML Cite \textit{N. Zhan} et al., Formal verification of Simulink/Stateflow diagrams. A deductive approach. Cham: Springer (2017; Zbl 1412.68006) Full Text: DOI OpenURL
Cavazos-Cadena, Rolando A Poisson equation for the risk-sensitive average cost in semi-Markov chains. (English) Zbl 1357.93089 Discrete Event Dyn. Syst. 26, No. 4, 633-656 (2016). MSC: 93E03 60J10 93C10 PDF BibTeX XML Cite \textit{R. Cavazos-Cadena}, Discrete Event Dyn. Syst. 26, No. 4, 633--656 (2016; Zbl 1357.93089) Full Text: DOI OpenURL
Chávez-Rodríguez, Selene; Cavazos-Cadena, Rolando; Cruz-Suárez, Hugo Controlled semi-Markov chains with risk-sensitive average cost criterion. (English) Zbl 1346.90799 J. Optim. Theory Appl. 170, No. 2, 670-686 (2016). MSC: 90C40 93E20 60J05 PDF BibTeX XML Cite \textit{S. Chávez-Rodríguez} et al., J. Optim. Theory Appl. 170, No. 2, 670--686 (2016; Zbl 1346.90799) Full Text: DOI OpenURL
Zhao, Lingzhong; Zhai, Zhongyi; Qian, Junyan; Guo, Yunchuan Model checking CSP based on ASP and critical-trace model of CSP. (Chinese. English summary) Zbl 1349.68121 J. Softw. 26, No. 10, 2521-2544 (2015). MSC: 68Q60 PDF BibTeX XML Cite \textit{L. Zhao} et al., J. Softw. 26, No. 10, 2521--2544 (2015; Zbl 1349.68121) Full Text: DOI OpenURL
Groote, Jan Friso; Mousavi, Mohammad Reza Modeling and analysis of communicating systems. (English) Zbl 1353.68006 Cambridge, MA: MIT Press (ISBN 978-0-262-02771-7/hbk; 978-0-262-32102-0/ebook). xvi, 376 p. (2014). Reviewer: Tiit Riismaa (Tallinn) MSC: 68-02 68M10 68M12 68M14 68Q60 68Q85 68W15 PDF BibTeX XML Cite \textit{J. F. Groote} and \textit{M. R. Mousavi}, Modeling and analysis of communicating systems. Cambridge, MA: MIT Press (2014; Zbl 1353.68006) OpenURL
Ouaknine, Joël; Palikareva, Hristina; Roscoe, A. W.; Worrell, James A static analysis framework for livelock freedom in CSP. (English) Zbl 1274.68250 Log. Methods Comput. Sci. 9, No. 3, Paper No. 24, 52 p. (2013). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{J. Ouaknine} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 24, 52 p. (2013; Zbl 1274.68250) Full Text: DOI arXiv OpenURL
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire Reachability analysis of communicating pushdown systems. (English) Zbl 1248.68330 Log. Methods Comput. Sci. 8, No. 3, Paper No. 23, 20 p. (2012). MSC: 68Q60 68N30 68Q25 68Q85 PDF BibTeX XML Cite \textit{A. Heußner} et al., Log. Methods Comput. Sci. 8, No. 3, Paper No. 23, 20 p. (2012; Zbl 1248.68330) Full Text: DOI OpenURL
Knorr, Florian; Schreckenberg, Michael Counting the corners of a random walk and its application to traffic flow. (English) Zbl 1260.60182 J. Phys. A, Math. Theor. 45, No. 31, Article ID 315001, 9 p. (2012). MSC: 60K35 90B20 60K30 PDF BibTeX XML Cite \textit{F. Knorr} and \textit{M. Schreckenberg}, J. Phys. A, Math. Theor. 45, No. 31, Article ID 315001, 9 p. (2012; Zbl 1260.60182) Full Text: DOI OpenURL
Colvin, Robert J.; Hayes, Ian J. A semantics for behavior trees using CSP with specification commands. (English) Zbl 1220.68050 Sci. Comput. Program. 76, No. 10, 891-914 (2011). MSC: 68N30 68Q55 68Q85 PDF BibTeX XML Cite \textit{R. J. Colvin} and \textit{I. J. Hayes}, Sci. Comput. Program. 76, No. 10, 891--914 (2011; Zbl 1220.68050) Full Text: DOI OpenURL
Shyamasundar, R. K.; Rameesh, S. Real time programming. Languages, specification and verification. (English) Zbl 1204.68049 Hackensack, NJ: World Scientific (ISBN 978-981-02-2566-7/hbk; 978-981-28-1402-9/ebook). xv, 245 p. (2010). Reviewer: Stefan Meyer (Berlin) MSC: 68N15 68-02 68Q55 68Q60 PDF BibTeX XML Cite \textit{R. K. Shyamasundar} and \textit{S. Rameesh}, Real time programming. Languages, specification and verification. Hackensack, NJ: World Scientific (2010; Zbl 1204.68049) Full Text: Link OpenURL
Roscoe, A. W. Understanding concurrent systems. (English) Zbl 1211.68205 Texts in Computer Science. London: Springer (ISBN 978-1-84882-257-3/hbk; 978-1-84882-258-0/ebook). xviii, 527 p. (2010). Reviewer: Günther Bauer (Görlitz) MSC: 68Q10 68-02 68N19 68Q55 68Q85 PDF BibTeX XML Cite \textit{A. W. Roscoe}, Understanding concurrent systems. London: Springer (2010; Zbl 1211.68205) Full Text: DOI OpenURL
Falcão, Flávia; Iyoda, Juliano; Sampaio, Augusto Multiple synchrony in MSC. (English) Zbl 1347.68263 Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 149-166 (2009). MSC: 68Q85 68Q55 68Q60 PDF BibTeX XML Cite \textit{F. Falcão} et al., Electron. Notes Theor. Comput. Sci. 240, 149--166 (2009; Zbl 1347.68263) Full Text: DOI OpenURL
Comon-Lundh, Hubert; Kawamoto, Yusuke; Sakurada, Hideki Computational and symbolic anonymity in an unbounded network. (English) Zbl 1322.94099 JSIAM Lett. 1, 28-31 (2009). MSC: 94A62 68P25 PDF BibTeX XML Cite \textit{H. Comon-Lundh} et al., JSIAM Lett. 1, 28--31 (2009; Zbl 1322.94099) Full Text: DOI Link OpenURL
van Doorn, E. A.; Pollett, P. K. Quasi-stationary distributions for reducible absorbing Markov chains in discrete time. (English) Zbl 1184.60026 Markov Process. Relat. Fields 15, No. 2, 191-204 (2009). Reviewer: Göran Högnäs (Åbo) MSC: 60J10 15A18 15B51 PDF BibTeX XML Cite \textit{E. A. van Doorn} and \textit{P. K. Pollett}, Markov Process. Relat. Fields 15, No. 2, 191--204 (2009; Zbl 1184.60026) OpenURL
Hoare, Tony; O’Hearn, Peter Separation logic semantics for communicating processes. (English) Zbl 1286.68352 Chen, Yixiang (ed.) et al., Proceedings of the 1st international conference on foundations of informatics, computing and software (FICS 2008), East China Normal University, Shanghai, China, June 3–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 212, 3-25 (2008). MSC: 68Q85 68N15 68Q55 03B70 PDF BibTeX XML Cite \textit{T. Hoare} and \textit{P. O'Hearn}, Electron. Notes Theor. Comput. Sci. 212, 3--25 (2008; Zbl 1286.68352) Full Text: DOI OpenURL
Queille, J. P.; Sifakis, J. Specification and verification of concurrent systems in CESAR. (English) Zbl 1142.68440 Grumberg, Orna (ed.) et al., 25 years of model checking. History, achievements, perspectives. Berlin: Springer (ISBN 978-3-540-69849-4/pbk). Lecture Notes in Computer Science 5000, 216-230 (2008). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{J. P. Queille} and \textit{J. Sifakis}, Lect. Notes Comput. Sci. 5000, 216--230 (2008; Zbl 1142.68440) Full Text: DOI OpenURL
Iki, Tetsuichiro; Horiguchi, Masayuki; Yasuda, Masami; Kurano, Masami A learning algorithm for communicating Markov decision processes with unknown transition matrices. (English) Zbl 1270.90097 Bull. Inf. Cybern. 39, 11-24 (2007). MSC: 90C40 60J10 60J20 68T05 PDF BibTeX XML Cite \textit{T. Iki} et al., Bull. Inf. Cybern. 39, 11--24 (2007; Zbl 1270.90097) OpenURL
Iki, Tetsuichiro; Horiguchi, Masayuki; Kurano, Masami A structured pattern matrix algorithm for multichain Markov decision processes. (English) Zbl 1146.90522 Math. Methods Oper. Res. 66, No. 3, 545-555 (2007). MSC: 90C40 PDF BibTeX XML Cite \textit{T. Iki} et al., Math. Methods Oper. Res. 66, No. 3, 545--555 (2007; Zbl 1146.90522) Full Text: DOI OpenURL
Feng, L.; Wonham, W. M.; Thiagarajan, P. S. Designing communicating transaction processes by supervisory control theory. (English) Zbl 1112.68103 Form. Methods Syst. Des. 30, No. 2, 117-141 (2007). MSC: 68Q85 93C65 PDF BibTeX XML Cite \textit{L. Feng} et al., Form. Methods Syst. Des. 30, No. 2, 117--141 (2007; Zbl 1112.68103) Full Text: DOI OpenURL
Tyrrell, Malcolm; Morris, Joseph M.; Butterfield, Andrew; Hughes, Arthur A lattice-theoretic model for an algebra of communicating sequential processes. (English) Zbl 1168.68439 Barkaoui, Kamel (ed.) et al., Theoretical aspects of computing – ICTAC 2006. Third international colloquium, Tunis, Tunisia, November 20–24, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-48815-6/pbk). Lecture Notes in Computer Science 4281, 123-137 (2006). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Tyrrell} et al., Lect. Notes Comput. Sci. 4281, 123--137 (2006; Zbl 1168.68439) Full Text: DOI OpenURL
Fokkink, Wan; Klop, Jan Willem Computing with actions and communications. (English) Zbl 1119.68127 Bull. Belg. Math. Soc. - Simon Stevin 13, No. 5, 789-805 (2006). MSC: 68Q85 PDF BibTeX XML Cite \textit{W. Fokkink} and \textit{J. W. Klop}, Bull. Belg. Math. Soc. - Simon Stevin 13, No. 5, 789--805 (2006; Zbl 1119.68127) Full Text: Euclid OpenURL
Gu, Xiwu; Lu, Zhengding A formal model for BPEL4WS description of web service composition. (English) Zbl 1115.68306 Wuhan Univ. J. Nat. Sci. 11, No. 5, 1311-1319 (2006). MSC: 68M10 PDF BibTeX XML Cite \textit{X. Gu} and \textit{Z. Lu}, Wuhan Univ. J. Nat. Sci. 11, No. 5, 1311--1319 (2006; Zbl 1115.68306) Full Text: DOI OpenURL
Calder, Muffy; Miller, Alice Feature interaction detection by pairwise analysis of LTL properties – A case study. (English) Zbl 1103.68377 Form. Methods Syst. Des. 28, No. 3, 213-261 (2006). MSC: 68M14 68Q60 PDF BibTeX XML Cite \textit{M. Calder} and \textit{A. Miller}, Form. Methods Syst. Des. 28, No. 3, 213--261 (2006; Zbl 1103.68377) Full Text: DOI OpenURL
Yang, Xin; Chen, Junliang WSC/ADL: an architecture description language for web services composition systems. (Chinese. English summary) Zbl 1095.68533 J. Softw. 17, No. 5, 1182-1194 (2006). MSC: 68M10 PDF BibTeX XML Cite \textit{X. Yang} and \textit{J. Chen}, J. Softw. 17, No. 5, 1182--1194 (2006; Zbl 1095.68533) OpenURL
de Boer, Frank S.; de Vries, Wieke; Meyer, John-Jules Ch.; van Eijk, Rogier M.; van der Hoek, Wiebe Process algebra and constraint programming for modeling interactions in MAS. (English) Zbl 1085.68100 Appl. Algebra Eng. Commun. Comput. 16, No. 2-3, 113-150 (2005). MSC: 68Q85 68T01 PDF BibTeX XML Cite \textit{F. S. de Boer} et al., Appl. Algebra Eng. Commun. Comput. 16, No. 2--3, 113--150 (2005; Zbl 1085.68100) Full Text: DOI OpenURL
Donaldson, A. F.; Miller, A. Automatic symmetry detection for model checking using computational group theory. (English) Zbl 1120.68414 Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 481-496 (2005). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{A. F. Donaldson} and \textit{A. Miller}, Lect. Notes Comput. Sci. 3582, 481--496 (2005; Zbl 1120.68414) Full Text: DOI OpenURL
Rohrmair, Gordon Thomas; Lowe, Gavin Using data-independence in the analysis of intrusion detection systems. (English) Zbl 1142.68446 Theor. Comput. Sci. 340, No. 1, 82-101 (2005). MSC: 68Q85 68M10 68M12 68Q60 PDF BibTeX XML Cite \textit{G. T. Rohrmair} and \textit{G. Lowe}, Theor. Comput. Sci. 340, No. 1, 82--101 (2005; Zbl 1142.68446) Full Text: DOI Link OpenURL
Bjørner, Dines [Madsen, Christian Krog] Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen. (English) Zbl 1095.68021 Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 3-540-21150-0/hbk). xxiv, 777 p. (2006). Reviewer: Tudor Bălănescu (Pitesti) MSC: 68N30 68N15 68N20 68Q65 68Q45 68Q85 68-01 PDF BibTeX XML Cite \textit{D. Bjørner}, Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen. Berlin: Springer (2005; Zbl 1095.68021) Full Text: DOI OpenURL
Polkowski, Lech; Semeniuk-Polkowska, Maria Some remarks on sets of communicating sequential processes in topological rough set framework. (English) Zbl 1083.68086 Fundam. Inform. 60, No. 1-4, 291-305 (2004). MSC: 68Q85 PDF BibTeX XML Cite \textit{L. Polkowski} and \textit{M. Semeniuk-Polkowska}, Fundam. Inform. 60, No. 1--4, 291--305 (2004; Zbl 1083.68086) Full Text: Link OpenURL
Davies, Jim; Crichton, Charles Concurrency and refinement in the unified modeling language. (English) Zbl 1093.68598 Formal Asp. Comput. 15, No. 2-3, 118-145 (2003). MSC: 68Q55 68Q85 PDF BibTeX XML Cite \textit{J. Davies} and \textit{C. Crichton}, Formal Asp. Comput. 15, No. 2--3, 118--145 (2003; Zbl 1093.68598) Full Text: DOI OpenURL
Abbad, Mohammed; Boustique, Hatim A decomposition algorithm for limiting average Markov decision problems. (English) Zbl 1052.90097 Oper. Res. Lett. 31, No. 6, 473-476 (2003). MSC: 90C40 PDF BibTeX XML Cite \textit{M. Abbad} and \textit{H. Boustique}, Oper. Res. Lett. 31, No. 6, 473--476 (2003; Zbl 1052.90097) Full Text: DOI OpenURL
Pascoe, J. (ed.); Loader, R. (ed.); Sunderam, V. (ed.) Communicating process architectures 2002, WoTUG-25, Reading, UK, September 15–18, 2002. (English) Zbl 1058.68054 Concurrent Systems Engineering Series 60. Amsterdam: IOS Press (ISBN 1-58603-268-2/pbk). 396 p. (2002). MSC: 68Q10 68-06 68M99 PDF BibTeX XML Cite \textit{J. Pascoe} (ed.) et al., Communicating process architectures 2002, WoTUG-25, Reading, UK, September 15--18, 2002. Amsterdam: IOS Press (2002; Zbl 1058.68054) OpenURL
Wolter, Uwe CSP, partial automata, and coalgebras. (English) Zbl 1050.68099 Theor. Comput. Sci. 280, No. 1-2, 3-34 (2002). MSC: 68Q45 PDF BibTeX XML Cite \textit{U. Wolter}, Theor. Comput. Sci. 280, No. 1--2, 3--34 (2002; Zbl 1050.68099) Full Text: DOI OpenURL
Georgescu, Horia An efficient way to model \(P\) systems by \(X\)-machine systems. (English) Zbl 1118.68492 Stud. Univ. Babeș-Bolyai, Inform. 46, No. 1, 3-14 (2001). MSC: 68Q05 PDF BibTeX XML Cite \textit{H. Georgescu}, Stud. Univ. Babeș-Bolyai, Inform. 46, No. 1, 3--14 (2001; Zbl 1118.68492) OpenURL
Chalmers, Alan (ed.); Mirmehdi, Majid (ed.); Muller, Henk (ed.) Communication process architectures 2001. WoTUG-24, Proceedings of the 24th World occam and transputer user group technical meeting, Bristol, United Kingdom, September 16–19, 2001. (English) Zbl 1047.68018 Concurrent Systems Engineering Series 59. Amsterdam: IOS Press; Tokyo: Ohmsha (ISBN 1-58603-202-X/pbk; 4-274-90467-9/pbk). viii, 351 p. (2001). MSC: 68M14 PDF BibTeX XML Cite \textit{A. Chalmers} (ed.) et al., Communication process architectures 2001. WoTUG-24, Proceedings of the 24th World occam and transputer user group technical meeting, Bristol, United Kingdom, September 16--19, 2001. Amsterdam: IOS Press; Tokyo: Ohmsha (2001; Zbl 1047.68018) OpenURL
Calder, Muffy; Miller, Alice Using SPIN for feature interaction analysis – a case study. (English) Zbl 0985.68665 Dwyer, Matthew (ed.), Model checking software. 8th international SPIN workshop, Toronto, Canada, May 19-20, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2057, 143-162 (2001). MSC: 68U99 68Q60 PDF BibTeX XML Cite \textit{M. Calder} and \textit{A. Miller}, Lect. Notes Comput. Sci. 2057, 143--162 (2001; Zbl 0985.68665) Full Text: Link OpenURL
Koutny, Maciej; Pappalardo, Giuseppe Behaviour abstraction for communicating sequential processes. (English) Zbl 0997.68084 Fundam. Inform. 48, No. 1, 21-54 (2001). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Koutny} and \textit{G. Pappalardo}, Fundam. Inform. 48, No. 1, 21--54 (2001; Zbl 0997.68084) OpenURL
Burton, Jonathan; Koutny, Maciej; Pappalardo, Giuseppe Verifying implementation relations. (English) Zbl 0977.68786 Oliveira, José Nuno (ed.) et al., FME 2001: Formal methods for increasing software productivity. International symposium of formal methods Europe, Berlin, Germany, March 12-16, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2021, 364-383 (2001). MSC: 68U99 68Q65 PDF BibTeX XML Cite \textit{J. Burton} et al., Lect. Notes Comput. Sci. 2021, 364--383 (2001; Zbl 0977.68786) Full Text: Link OpenURL
Parrow, Joachim An introduction to the \(\pi\)-calculus. (English) Zbl 1035.68071 Bergstra, Jan A. (ed.) et al., Handbook of process algebra. Amsterdam: North-Holland/ Elsevier (ISBN 0-444-82830-3). 479-543 (2001). Reviewer: Matthias Jantzen (Hamburg) MSC: 68Q85 68-02 PDF BibTeX XML Cite \textit{J. Parrow}, in: Handbook of process algebra. Amsterdam: North-Holland/ Elsevier. 479--543 (2001; Zbl 1035.68071) OpenURL
Thomsen, B.; Abramsky, S. A fully abstract denotational semantics for the calculus of higher-order communicating systems. (English) Zbl 0974.68109 Theor. Comput. Sci. 254, No. 1-2, 557-589 (2001). MSC: 68Q55 PDF BibTeX XML Cite \textit{B. Thomsen} and \textit{S. Abramsky}, Theor. Comput. Sci. 254, No. 1--2, 557--589 (2001; Zbl 0974.68109) Full Text: DOI OpenURL
Broy, Manfred; Stølen, Ketil Specification and development of interactive systems. Focus on streams, interfaces, and refinement. (English) Zbl 0981.68115 Monographs in Computer Science. New York, NY: Springer. xv, 348 p. (2001). Reviewer: Costică Moroşanu (Iaşi) MSC: 68Q85 68-02 03B44 03B45 PDF BibTeX XML Cite \textit{M. Broy} and \textit{K. Stølen}, Specification and development of interactive systems. Focus on streams, interfaces, and refinement. New York, NY: Springer (2001; Zbl 0981.68115) Full Text: DOI OpenURL
Georgescu, Horia Deadlock detection in communicating stream X-machine systems. (English) Zbl 1265.68070 An. Univ. București, Mat.-Inform. 49, No. 1, 71-82 (2000). MSC: 68Q05 68Q85 PDF BibTeX XML Cite \textit{H. Georgescu}, An. Univ. București, Mat.-Inform. 49, No. 1, 71--82 (2000; Zbl 1265.68070) OpenURL
Mallon, Willem Charles Theories and tools for the design of delay-insensitive communicating processes. (English) Zbl 0940.68174 Groningen: Rijksuniv. Groningen, 236 p. (2000). MSC: 68U35 68-02 PDF BibTeX XML Cite \textit{W. C. Mallon}, Theories and tools for the design of delay-insensitive communicating processes. Groningen: Rijksuniv. Groningen (2000; Zbl 0940.68174) OpenURL
Martin, Jeremy M. R. A tool for checking the CSP sat property. (English) Zbl 0953.68005 Comput. J. 43, No. 1, 13-23 (2000). MSC: 68M10 PDF BibTeX XML Cite \textit{J. M. R. Martin}, Comput. J. 43, No. 1, 13--23 (2000; Zbl 0953.68005) Full Text: DOI OpenURL
Kari, Lila; Lutfiyya, Hanan; Martín-Vide, Carlos; Pǎun, Gheorghe Bringing PC grammar systems closer to Hoare’s CSP’s. (English) Zbl 0945.68088 Păun, Gheorghe (ed.) et al., Grammatical models of multi-agent systems. Amsterdam: Gordon and Breach. Top. Comput. Math. 8, 64-85 (1999). MSC: 68Q42 PDF BibTeX XML Cite \textit{L. Kari} et al., in: Grammatical models of multi-agent systems. Amsterdam: Gordon and Breach. 64--85 (1999; Zbl 0945.68088) OpenURL
Vertan, Cristina A new approach to communicating X-machines systems. (English) Zbl 1118.68369 Stud. Univ. Babeș-Bolyai, Inform. 43, No. 1, 93-105 (1998). MSC: 68M14 68Q05 PDF BibTeX XML Cite \textit{C. Vertan}, Stud. Univ. Babeș-Bolyai, Inform. 43, No. 1, 93--105 (1998; Zbl 1118.68369) OpenURL
Simpson, Andrew; Davies, Jim; Woodcock, Jim Security management via \(Z\) and CSP. (English) Zbl 0924.68139 Grundy, Jim (ed.) et al., International refinement workshop and formal methods Pacific 1998. Proceedings of IRW/FMP ’98. Canberra, Australia, September 29 - October 2, 1998. Berlin: Springer. Springer Series in Discrete Mathematics and Theoretical Computer Science. 334-351 (1998). MSC: 68Q60 PDF BibTeX XML Cite \textit{A. Simpson} et al., in: International refinement workshop and formal methods Pacific 1998. Proceedings of IRW/FMP '98. Canberra, Australia, September 29 - October 2, 1998. Berlin: Springer. 334--351 (1998; Zbl 0924.68139) OpenURL
Pitts, Andrew M.; Ross, Joshua R. X. Process calculus based upon evaluation to committed form. (English) Zbl 0915.68113 Theor. Comput. Sci. 195, No. 2, 155-182 (1998). MSC: 68Q55 PDF BibTeX XML Cite \textit{A. M. Pitts} and \textit{J. R. X. Ross}, Theor. Comput. Sci. 195, No. 2, 155--182 (1998; Zbl 0915.68113) Full Text: DOI OpenURL
Rittgen, Peter Process theory of scheduling. Algebraic modelling of processes, resource restrictions and time. (Prozeßtheorie der Ablaufplanung. Algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit.) (German) Zbl 0910.68015 Teubner-Reihe Wirtschaftsinformatik. Leipzig: Teubner. 260 S. DM 66.00; öS 482.00; sFr. 59.00 (1998). Reviewer: J.Martyna (Kraków) MSC: 68M20 68-01 68Q85 68Q60 68Q65 PDF BibTeX XML Cite \textit{P. Rittgen}, Prozeßtheorie der Ablaufplanung. Algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit. Leipzig: Teubner (1998; Zbl 0910.68015) OpenURL
Kwiatkowska, Marta; Norman, Gethin A fully abstract metric-space denotational semantics for reactive probabilistic processes. (English) Zbl 0917.68137 Edalat, Abbas (ed.) et al., Comprox III. 3rd workshop on Computation and approximation. Birmingham, GB, September 11–13, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 13, electronic paper No. 14 (1997). MSC: 68Q55 PDF BibTeX XML Cite \textit{M. Kwiatkowska} and \textit{G. Norman}, in: Comprox III. 3rd workshop on Computation and approximation. Birmingham, GB, September 11--13, 1997. Amsterdam: Elsevier. electronic paper No. 14 (1997; Zbl 0917.68137) Full Text: Link OpenURL
Ponse, Alban (ed.); Verhoef, Chris (ed.); Van Vlijmen, Bas (ed.) ACP ’95, international workshop on Algebra of communicating processes. Eindhoven, Netherlands, May 17–18, 1995. (English) Zbl 0895.00055 Theor. Comput. Sci. 177, No. 2, 285-507 (1997). MSC: 00B25 68-06 68Q10 PDF BibTeX XML OpenURL
Sun, Yong; Yang, Hongji Protocol specification based on CSP. (English) Zbl 0870.68024 Acta Sci. Nat. Univ. Pekin. 33, No. 1, 110-122 (1997). MSC: 68M10 PDF BibTeX XML Cite \textit{Y. Sun} and \textit{H. Yang}, Acta Sci. Nat. Univ. Pekin. 33, No. 1, 110--122 (1997; Zbl 0870.68024) OpenURL
Bergstra, J. A.; Stefănescu, Gh. Process with multiple entries and exits modulo isomorphism and modulo bisimulation. (English) Zbl 0854.68031 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 1, 37-56 (1996). MSC: 68Q05 PDF BibTeX XML Cite \textit{J. A. Bergstra} and \textit{Gh. Stefănescu}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 1, 37--56 (1996; Zbl 0854.68031) OpenURL
Blanco, Javier Oscar The state operator in process algebra. (English) Zbl 0844.68065 Eindhoven: TU, 138 p. (1996). Reviewer: J.Desel (Karlsruhe) MSC: 68W30 68-02 PDF BibTeX XML Cite \textit{J. O. Blanco}, The state operator in process algebra. Eindhoven: TU (1996; Zbl 0844.68065) OpenURL
Izumi, Noriaki; Takamatsu, Shinobu; Kise, Koichi; Fukunaga, Kunio CSP-based formulation of multi-agent communication for a first-order agent theory. (English) Zbl 0906.68142 Bull. Osaka Prefect. Univ., Ser. A, Eng. Nat. Sci. 45, No. 1, 31-37 (1996). MSC: 68T27 68N99 PDF BibTeX XML Cite \textit{N. Izumi} et al., Bull. Osaka Prefect. Univ., Ser. A, Eng. Nat. Sci. 45, No. 1, 31--37 (1996; Zbl 0906.68142) OpenURL
Seidel, Karen Probabilistic communicating processes. (English) Zbl 0872.68111 Theor. Comput. Sci. 152, No. 2, 219-249 (1995). MSC: 68Q60 68Q10 68Q55 PDF BibTeX XML Cite \textit{K. Seidel}, Theor. Comput. Sci. 152, No. 2, 219--249 (1995; Zbl 0872.68111) Full Text: DOI OpenURL
Abramsky, S. (ed.); Gabbay, Dov M. (ed.); Maibaum, T. S. E. (ed.) Handbook of logic in computer science. Vol. 4: Semantic modelling. (English) Zbl 0876.68001 Oxford: Clarendon Press. xiii, 651 p. (1995). MSC: 68-00 00B15 68Q55 03B70 68Q10 68Q65 03D45 68Q60 06B35 03B40 PDF BibTeX XML Cite \textit{S. Abramsky} (ed.) et al., Handbook of logic in computer science. Vol. 4: Semantic modelling. Oxford: Clarendon Press (1995; Zbl 0876.68001) OpenURL
Ponse, A. (ed.); Verhoef, C. (ed.); van Vlijmen, S. F. M. (ed.) Algebra of communicating processes. Proceedings of ACP94, the 1st workshop, Utrecht, The Netherlands, 16-17 May 1994. (English) Zbl 0829.68073 Workshops in Computing. London: Springer-Verlag (in coll. with the British Computer Society). x, 359 p. (1995). MSC: 68W30 68-06 00B25 PDF BibTeX XML Cite \textit{A. Ponse} (ed.) et al., Algebra of communicating processes. Proceedings of ACP94, the 1st workshop, Utrecht, The Netherlands, 16-17 May 1994. London: Springer-Verlag (in coll. with the British Computer Society) (1995; Zbl 0829.68073) OpenURL
Hoare, C. A. R. Communicating sequential processes. Repr. (English) Zbl 0841.68042 Prentice Hall International Series in Computer Science. New York, NY: Prentice Hall. viii, 256 p. (1995). Reviewer: U.Hahn (Freiburg i.Br.) MSC: 68Q10 68-01 68Q65 PDF BibTeX XML Cite \textit{C. A. R. Hoare}, Communicating sequential processes. Repr. New York, NY: Prentice Hall (1995; Zbl 0841.68042) OpenURL
Arnold, André; Bégay, Didier; Crubillé, Paul Construction and analysis of transition systems with MEC. (English) Zbl 0836.68075 AMAST Series in Computing Vol. 3. Singapore: World Scientific (ISBN 981-02-1922-9/hbk; 978-981-4343-45-9/ebook). vii, 192 p. (1994). Reviewer: K.Atanassov (Sofia) MSC: 68Q85 68-01 PDF BibTeX XML Cite \textit{A. Arnold} et al., Construction and analysis of transition systems with MEC. Singapore: World Scientific (1994; Zbl 0836.68075) Full Text: DOI OpenURL
Monteiro, Eric Linear logic as CSP. (English) Zbl 0824.03030 J. Log. Comput. 4, No. 4, 405-421 (1994). Reviewer: H.Herre (Leipzig) MSC: 03F05 68Q10 03B20 68Q05 PDF BibTeX XML Cite \textit{E. Monteiro}, J. Log. Comput. 4, No. 4, 405--421 (1994; Zbl 0824.03030) Full Text: DOI OpenURL
Huynh, Dung T.; Tian, Lu Deciding bisimilarity of normed context-free processes is in \(\Sigma_ 2^ p\). (English) Zbl 0801.68058 Theor. Comput. Sci. 123, No. 2, 183-197 (1994). MSC: 68Q10 68Q55 PDF BibTeX XML Cite \textit{D. T. Huynh} and \textit{L. Tian}, Theor. Comput. Sci. 123, No. 2, 183--197 (1994; Zbl 0801.68058) Full Text: DOI OpenURL
Shatz, Sol M. Development of distributed software. Concepts and tools. (English) Zbl 0830.68014 Hemel Hempstead: Macmillan Publ. Co. xiv, 209 p. (1993). Reviewer: I.O.Kerner (Dresden) MSC: 68M99 68-01 68Q10 PDF BibTeX XML Cite \textit{S. M. Shatz}, Development of distributed software. Concepts and tools. Hemel Hempstead: Macmillan Publ. Co. (1993; Zbl 0830.68014) OpenURL
Davies, Jim; Schneider, Steve Recursion induction for real-time processes. (English) Zbl 0806.68073 Formal Asp. Comput. 5, No. 6, 530-553 (1993). MSC: 68Q55 68W15 PDF BibTeX XML Cite \textit{J. Davies} and \textit{S. Schneider}, Formal Asp. Comput. 5, No. 6, 530--553 (1993; Zbl 0806.68073) Full Text: DOI OpenURL
Kumar, K. Narayan; Pandya, Paritosh K. Infinitary parallelism without unbounded nondeterminism in CSP. (English) Zbl 0790.68040 Acta Inf. 30, No. 5, 467-487 (1993). MSC: 68Q10 68Q55 PDF BibTeX XML Cite \textit{K. N. Kumar} and \textit{P. K. Pandya}, Acta Inf. 30, No. 5, 467--487 (1993; Zbl 0790.68040) Full Text: DOI OpenURL
Abraham, Uri What is a state of a system? (An outline). (English) Zbl 0803.68034 Droste, Manfred (ed.) et al., Semantics of programming languages and model theory. Papers presented at the international conference and Research Center for Computer Science, Schloß Dägstuhl, Germany, June 23-29, 1991. Yverdon: Gordon and Breach Science Publishers. Algebra Log. Appl. 5, 213-243 (1993). MSC: 68Q10 68Q55 06A06 PDF BibTeX XML Cite \textit{U. Abraham}, Algebra Log. Appl. 5, 213--243 (1993; Zbl 0803.68034) OpenURL
Parrow, Joachim Structural and behavioural equivalences of networks. (English) Zbl 0799.68132 Inf. Comput. 107, No. 1, 58-90 (1993). MSC: 68Q55 68M10 68M01 68Q10 PDF BibTeX XML Cite \textit{J. Parrow}, Inf. Comput. 107, No. 1, 58--90 (1993; Zbl 0799.68132) Full Text: DOI OpenURL
Hennessy, M.; Ingólfsdóttir, A. A theory of communicating processes with value passing. (English) Zbl 0794.68098 Inf. Comput. 107, No. 2, 202-236 (1993). MSC: 68Q55 68Q10 PDF BibTeX XML Cite \textit{M. Hennessy} and \textit{A. Ingólfsdóttir}, Inf. Comput. 107, No. 2, 202--236 (1993; Zbl 0794.68098) Full Text: DOI OpenURL
Hennessy, M.; Ingólfsdóttir, A. Communicating processes with value-passing and assignments. (English) Zbl 0784.68055 Formal Asp. Comput. 5, No. 5, 432-466 (1993). MSC: 68Q55 68Q10 PDF BibTeX XML Cite \textit{M. Hennessy} and \textit{A. Ingólfsdóttir}, Formal Asp. Comput. 5, No. 5, 432--466 (1993; Zbl 0784.68055) Full Text: DOI OpenURL
Haverkort, Boudewijn R.; Trivedi, Kishor S. Specification techniques for Markov reward models. (English) Zbl 0777.68029 Discrete Event Dyn. Syst. 3, No. 2-3, 219-247 (1993). Reviewer: B.R.Haverkort MSC: 68M20 68N99 PDF BibTeX XML Cite \textit{B. R. Haverkort} and \textit{K. S. Trivedi}, Discrete Event Dyn. Syst. 3, No. 2--3, 219--247 (1993; Zbl 0777.68029) Full Text: DOI OpenURL
Brogi, Antonio; Gorrieri, Roberto Distributed logic programming. (English) Zbl 0778.68021 J. Log. Program. 15, No. 4, 295-335 (1993). MSC: 68N17 68Q55 68W15 PDF BibTeX XML Cite \textit{A. Brogi} and \textit{R. Gorrieri}, J. Log. Program. 15, No. 4, 295--335 (1993; Zbl 0778.68021) Full Text: DOI OpenURL
Milner, Robin; Parrow, Joachim; Walker, David A calculus of mobile processes. II. (English) Zbl 0752.68037 Inf. Comput. 100, No. 1, 41-77 (1992). MSC: 68Q10 68Q85 PDF BibTeX XML Cite \textit{R. Milner} et al., Inf. Comput. 100, No. 1, 41--77 (1992; Zbl 0752.68037) Full Text: DOI OpenURL
Milner, Robin; Parrow, Joachim; Walker, David A calculus of mobile processes. I. (English) Zbl 0752.68036 Inf. Comput. 100, No. 1, 1-40 (1992). MSC: 68Q10 68Q85 PDF BibTeX XML Cite \textit{R. Milner} et al., Inf. Comput. 100, No. 1, 1--40 (1992; Zbl 0752.68036) Full Text: DOI OpenURL
Darondeau, Philippe; Yoccoz, Serge Proof systems for infinite behaviours. (English) Zbl 0765.03016 Inf. Comput. 99, No. 2, 178-191 (1992). Reviewer: P.Darondeau (Rennes) MSC: 03B70 68Q10 PDF BibTeX XML Cite \textit{P. Darondeau} and \textit{S. Yoccoz}, Inf. Comput. 99, No. 2, 178--191 (1992; Zbl 0765.03016) Full Text: DOI OpenURL
Karpov, Yu. G. Coherence of communicating processes. (English) Zbl 0748.68016 Comput. Artif. Intell. 11, No. 3, 241-252 (1992). MSC: 68Q10 PDF BibTeX XML Cite \textit{Yu. G. Karpov}, Comput. Artif. Intell. 11, No. 3, 241--252 (1992; Zbl 0748.68016) OpenURL
Govindarajan, R.; Yu, S.; Lakshmanan, V. S. Attempting guards in parallel: A data flow approach to execute generalized guarded commands. (English) Zbl 0784.68034 Int. J. Parallel Program. 21, No. 4, 225-268 (1992). MSC: 68W15 68Q10 PDF BibTeX XML Cite \textit{R. Govindarajan} et al., Int. J. Parallel Program. 21, No. 4, 225--268 (1992; Zbl 0784.68034) Full Text: DOI OpenURL
Tekko, Jaanus A formal model for the language LSD and the calculus CSD. (Russian. English summary) Zbl 0794.68051 Eesti Tead. Akad. Toim., Füüs. Mat. 40, No. 4, 266-278 (1991). MSC: 68Q10 03B80 03F03 PDF BibTeX XML Cite \textit{J. Tekko}, Eesti Tead. Akad. Toim., Füüs. Mat. 40, No. 4, 266--278 (1991; Zbl 0794.68051) OpenURL
Baeten, J. C. M.; Bergstra, J. A. Recursive process definitions with the state operator. (English) Zbl 0724.68035 Theor. Comput. Sci. 82, No. 2, 285-302 (1991). MSC: 68Q10 PDF BibTeX XML Cite \textit{J. C. M. Baeten} and \textit{J. A. Bergstra}, Theor. Comput. Sci. 82, No. 2, 285--302 (1991; Zbl 0724.68035) Full Text: DOI OpenURL
Baeten, J. C. M.; Bergstra, J. A. Real time process algebra. (English) Zbl 0719.68020 Formal Aspects Comput. 3, No. 2, 142-188 (1991). MSC: 68Q10 68Q65 PDF BibTeX XML Cite \textit{J. C. M. Baeten} and \textit{J. A. Bergstra}, Formal Asp. Comput. 3, No. 2, 142--188 (1991; Zbl 0719.68020) Full Text: DOI OpenURL
Haviv, Moshe; Puterman, Martin L. An improved algorithm for solving communicating average reward Markov decision processes. (English) Zbl 0717.90084 Ann. Oper. Res. 28, No. 1-4, 229-242 (1991). MSC: 90C40 90-08 PDF BibTeX XML Cite \textit{M. Haviv} and \textit{M. L. Puterman}, Ann. Oper. Res. 28, No. 1--4, 229--242 (1991; Zbl 0717.90084) Full Text: DOI OpenURL
Brookes, S. D.; Roscoe, A. W. Deadlock analysis in networks of communicating processes. (English) Zbl 0717.68006 Distrib. Comput. 4, No. 4, 209-230 (1991). MSC: 68M10 PDF BibTeX XML Cite \textit{S. D. Brookes} and \textit{A. W. Roscoe}, Distrib. Comput. 4, No. 4, 209--230 (1991; Zbl 0717.68006) Full Text: DOI OpenURL
Barrett, Geoff The fixed point theory of unbounded non-determinism. (English) Zbl 0715.68027 Formal Aspects Comput. 3, No. 2, 110-128 (1991). MSC: 68Q10 68Q55 PDF BibTeX XML Cite \textit{G. Barrett}, Formal Asp. Comput. 3, No. 2, 110--128 (1991; Zbl 0715.68027) Full Text: DOI OpenURL
Barrett, Geoff; Goldsmith, Michael Classifying unbounded nondeterminism in CSP. (English) Zbl 0792.68088 Topology and category theory in computer science, Proc. Conf., Oxford/UK 1989, 57-74 (1991). MSC: 68Q55 68Q10 03B65 54D20 PDF BibTeX XML Cite \textit{G. Barrett} and \textit{M. Goldsmith}, in: Topology, computer science, and the mathematics of convergence. . 57--74 (1991; Zbl 0792.68088) OpenURL
Baeten, J. C. M. (ed.) Applications of process algebra. (English) Zbl 0716.68001 Cambridge Tracts in Theoretical Computer Science, 17. Cambridge etc.: University Press. IX, 317 p. £27.50; $ 39.50 (1990). Reviewer: V.Topencharov MSC: 68-01 68Q10 68Q05 08A99 08-02 PDF BibTeX XML Cite \textit{J. C. M. Baeten} (ed.), Applications of process algebra. Cambridge etc.: University Press (1990; Zbl 0716.68001) Full Text: DOI OpenURL
Baeten, J. C. M.; Weijland, W. P. Process algebra. (English) Zbl 0716.68002 Cambridge Tracts in Theoretical Computer Science, 18. Cambridge etc.: University Press. 248 p. £17.50; $ 34.50 (1990). Reviewer: B.Wojdyło MSC: 68-01 68Q05 68Q10 08A70 PDF BibTeX XML Cite \textit{J. C. M. Baeten} and \textit{W. P. Weijland}, Process algebra. Cambridge etc.: University Press (1990; Zbl 0716.68002) Full Text: DOI OpenURL
Baeten, J. C. M. (ed.); Klop, J. W. (ed.) CONCUR ’90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings. (English) Zbl 0746.68005 Lecture Notes in Computer Science 458. Berlin etc.: Springer-Verlag. VII, 536 p. (1990). Reviewer: F.-L.Tiplea (Iaşi) MSC: 68-06 68Q10 68Q55 68Q60 PDF BibTeX XML Cite \textit{J. C. M. Baeten} (ed.) and \textit{J. W. Klop} (ed.), CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings. Berlin etc.: Springer-Verlag (1990; Zbl 0746.68005) OpenURL
Hoare, C. A. R. (ed.) Developments in concurrency and communication. (English) Zbl 0734.68035 Amsterdam etc.: Addison-Wesley Publishing Co. XIV, 335 p. $ 33.95 (1990). MSC: 68Q10 68Q60 68-06 PDF BibTeX XML Cite \textit{C. A. R. Hoare} (ed.), Developments in concurrency and communication. Amsterdam etc.: Addison-Wesley Publishing Co. (1990; Zbl 0734.68035) OpenURL
Sifakis, Joseph (ed.) Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings. (English) Zbl 0745.68017 Lecture Notes in Computer Science. 407. Berlin etc.: Springer-Verlag. VII, 382 p. (1990). Reviewer: M.Křetínský (Brno) MSC: 68-06 68Q10 68Q55 68Q60 PDF BibTeX XML Cite \textit{J. Sifakis} (ed.), Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings. Berlin etc.: Springer-Verlag (1990; Zbl 0745.68017) OpenURL
Hofstee, H. Peter; Martin, Alain J.; van de Snepscheut, Jan L. A. Distributed sorting. (English) Zbl 0716.68040 Sci. Comput. Program. 15, No. 2-3, 119-133 (1990). Reviewer: D.Grigoras MSC: 68W15 68P10 PDF BibTeX XML Cite \textit{H. P. Hofstee} et al., Sci. Comput. Program. 15, No. 2--3, 119--133 (1990; Zbl 0716.68040) Full Text: DOI OpenURL
Cieslak, Randall A.; Varaiya, Pravin P. Undecidability results for deterministic communicating sequential processes. (English) Zbl 0715.68024 IEEE Trans. Autom. Control 35, No. 9, 1032-1039 (1990). MSC: 68Q05 68Q10 03D35 PDF BibTeX XML Cite \textit{R. A. Cieslak} and \textit{P. P. Varaiya}, IEEE Trans. Autom. Control 35, No. 9, 1032--1039 (1990; Zbl 0715.68024) Full Text: DOI OpenURL
Reif, John H.; Smolka, Scott A. Data flow analysis of distributed communicating processes. (English) Zbl 0714.68003 Int. J. Parallel Program. 19, No. 1, 1-30 (1990). MSC: 68M10 68N20 PDF BibTeX XML Cite \textit{J. H. Reif} and \textit{S. A. Smolka}, Int. J. Parallel Program. 19, No. 1, 1--30 (1990; Zbl 0714.68003) Full Text: DOI OpenURL
Romanowska, Anna B.; Smith, Jonathan D. H. Communicating processes and entropic algebras. (English) Zbl 0713.08009 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 13, No. 3, 263-274 (1990). Reviewer: S.Rudeanu MSC: 08B99 68Q10 90B18 54H20 18D15 PDF BibTeX XML Cite \textit{A. B. Romanowska} and \textit{J. D. H. Smith}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 13, No. 3, 263--274 (1990; Zbl 0713.08009) OpenURL
Misra, Jayadev Specifying concurrent objects as communicating processes. (English) Zbl 0707.68057 Sci. Comput. Program. 14, No. 2-3, 159-184 (1990). MSC: 68Q60 68Q10 68Q65 PDF BibTeX XML Cite \textit{J. Misra}, Sci. Comput. Program. 14, No. 2--3, 159--184 (1990; Zbl 0707.68057) Full Text: DOI OpenURL
Lodaya, K.; Shyamasundar, R. K. Proof theory for exception handling in a tasking environment. (English) Zbl 0706.68076 Acta Inf. 28, No. 1, 7-41 (1990). MSC: 68Q60 03B70 68Q55 68N15 PDF BibTeX XML Cite \textit{K. Lodaya} and \textit{R. K. Shyamasundar}, Acta Inf. 28, No. 1, 7--41 (1990; Zbl 0706.68076) Full Text: DOI OpenURL
Jacob, Jeremy A model of reconfiguration in communicating sequential processes. (English) Zbl 0706.68075 Inf. Process. Lett. 35, No. 1, 19-22 (1990). MSC: 68Q60 68Q42 68M10 68N99 68N25 PDF BibTeX XML Cite \textit{J. Jacob}, Inf. Process. Lett. 35, No. 1, 19--22 (1990; Zbl 0706.68075) Full Text: DOI OpenURL