Oliveira, Marcel V. M.; Antonino, P.; Ramos, R.; Sampaio, A.; Mota, A.; Roscoe, A. W. Rigorous development of component-based systems using component metadata and patterns. (English) Zbl 1348.68167 Formal Asp. Comput. 28, No. 6, 937-1004 (2016). MSC: 68Q85 68N30 PDFBibTeX XMLCite \textit{M. V. M. Oliveira} et al., Formal Asp. Comput. 28, No. 6, 937--1004 (2016; Zbl 1348.68167) Full Text: DOI Link
Al-Humaimeedy, Abeer S.; Fernández, Maribel Enabling synchronous and asynchronous communications in CSP for SOC. (English) Zbl 1342.68221 Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 69-88, electronic only (2015). MSC: 68Q85 68Q55 68Q60 PDFBibTeX XMLCite \textit{A. S. Al-Humaimeedy} and \textit{M. Fernández}, Electron. Notes Theor. Comput. Sci. 312, 69--88 (2015; Zbl 1342.68221) Full Text: DOI
Garavel, Hubert Revisiting sequential composition in process calculi. (English) Zbl 1330.68201 J. Log. Algebr. Methods Program. 84, No. 6, 742-762 (2015). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Garavel}, J. Log. Algebr. Methods Program. 84, No. 6, 742--762 (2015; Zbl 1330.68201) Full Text: DOI
Nogueira, Sidney; Sampaio, Augusto; Mota, Alexandre Test generation from state based use case models. (English) Zbl 1342.68210 Formal Asp. Comput. 26, No. 3, 441-490 (2014). MSC: 68Q60 68Q85 68T05 68T50 PDFBibTeX XMLCite \textit{S. Nogueira} et al., Formal Asp. Comput. 26, No. 3, 441--490 (2014; Zbl 1342.68210) Full Text: DOI
Li, Liyi; Gunter, Elsa; Mansky, William Symbolic analysis tools for CSP. (English) Zbl 1432.68311 Ciobanu, Gabriel (ed.) et al., Theoretical aspects of computing – ICTAC 2014. 11th international colloquium, Bucharest, Romania, September 17–19, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8687, 295-313 (2014). MSC: 68Q85 68Q60 68V15 PDFBibTeX XMLCite \textit{L. Li} et al., Lect. Notes Comput. Sci. 8687, 295--313 (2014; Zbl 1432.68311) Full Text: DOI
Howells, Paul; d’Inverno, Mark Specifying termination in CSP. (English) Zbl 1360.68632 Theor. Comput. Sci. 503, 31-60 (2013). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{P. Howells} and \textit{M. d'Inverno}, Theor. Comput. Sci. 503, 31--60 (2013; Zbl 1360.68632) Full Text: DOI
van der Meyden, Ron; Zhang, Chenyi Information flow in systems with schedulers. II: Refinement. (English) Zbl 1292.68037 Theor. Comput. Sci. 484, 70-92 (2013). MSC: 68M20 68Q85 PDFBibTeX XMLCite \textit{R. van der Meyden} and \textit{C. Zhang}, Theor. Comput. Sci. 484, 70--92 (2013; Zbl 1292.68037) Full Text: DOI
Palikareva, Hristina; Ouaknine, Joël; Roscoe, A. W. SAT-solving in CSP trace refinement. (English) Zbl 1243.68216 Sci. Comput. Program. 77, No. 10-11, 1178-1197 (2012). MSC: 68Q60 68T20 68Q85 PDFBibTeX XMLCite \textit{H. Palikareva} et al., Sci. Comput. Program. 77, No. 10--11, 1178--1197 (2012; Zbl 1243.68216) Full Text: DOI
Wong, Peter Y. H.; Gibbons, Jeremy Formalisations and applications of BPMN. (English) Zbl 1213.68212 Sci. Comput. Program. 76, No. 8, 633-650 (2011). MSC: 68N30 68Q55 68Q85 PDFBibTeX XMLCite \textit{P. Y. H. Wong} and \textit{J. Gibbons}, Sci. Comput. Program. 76, No. 8, 633--650 (2011; Zbl 1213.68212) Full Text: DOI
Kleine, Moritz; Sanders, J. W. Simulating truly concurrent CSP. (English) Zbl 1325.68160 Davies, Jim (ed.) et al., Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8–11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19828-1/pbk). Lecture Notes in Computer Science 6527, 128-143 (2011). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Kleine} and \textit{J. W. Sanders}, Lect. Notes Comput. Sci. 6527, 128--143 (2011; Zbl 1325.68160) Full Text: DOI
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 PDFBibTeX XMLCite \textit{F. Falcão} et al., Electron. Notes Theor. Comput. Sci. 240, 149--166 (2009; Zbl 1347.68263) Full Text: DOI
Wong, Peter Y. H.; Gibbons, Jeremy A relative timed semantics for BPMN. (English) Zbl 1347.68215 Canal, Carlos (ed.) et al., Proceedings of the 7th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2008), Reykjavik, Iceland, July 13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 2, 59-75 (2009). MSC: 68Q55 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{P. Y. H. Wong} and \textit{J. Gibbons}, Electron. Notes Theor. Comput. Sci. 229, No. 2, 59--75 (2009; Zbl 1347.68215) Full Text: DOI
Wehrheim, Heike; Wonisch, Daniel Compositional CSP traces refinement checking. (English) Zbl 1335.68151 Miller, Alice (ed.) et al., Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 – October 1, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 2, 135-151 (2009). MSC: 68Q60 68Q85 68T05 68T15 PDFBibTeX XMLCite \textit{H. Wehrheim} and \textit{D. Wonisch}, Electron. Notes Theor. Comput. Sci. 250, No. 2, 135--151 (2009; Zbl 1335.68151) Full Text: DOI
Murray, Toby; Lowe, Gavin On refinement-closed security properties and nondeterministic compositions. (English) Zbl 1335.68179 Miller, Alice (ed.) et al., Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 – October 1, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 2, 49-68 (2009). MSC: 68Q85 68M12 68Q45 68Q60 94A60 PDFBibTeX XMLCite \textit{T. Murray} and \textit{G. Lowe}, Electron. Notes Theor. Comput. Sci. 250, No. 2, 49--68 (2009; Zbl 1335.68179) Full Text: DOI
Fraikin, Benoît; Frappier, Marc Efficient symbolic computation of process expressions. (English) Zbl 1167.68040 Sci. Comput. Program. 74, No. 9, 723-753 (2009). MSC: 68Q85 68Q55 68U35 PDFBibTeX XMLCite \textit{B. Fraikin} and \textit{M. Frappier}, Sci. Comput. Program. 74, No. 9, 723--753 (2009; Zbl 1167.68040) Full Text: DOI
Roscoe, A. W. Revivals, stuckness and the hierarchy of CSP models. (English) Zbl 1171.68025 J. Log. Algebr. Program. 78, No. 3, 163-190 (2009). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{A. W. Roscoe}, J. Log. Algebr. Program. 78, No. 3, 163--190 (2009; Zbl 1171.68025) Full Text: DOI Link
Parisaca Vargas, Abigail; Garis, Ana G.; Tapia Tarifa, S. Lizeth; George, Chris Model checking LTL formulae in RAISE with FDR. (English) Zbl 1211.68252 Leuschel, Michael (ed.) et al., Integrated formal methods. 7th international conference, IFM 2009, Düsseldorf, Germany, February 16–19, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00254-0/pbk). Lecture Notes in Computer Science 5423, 231-245 (2009). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{A. Parisaca Vargas} et al., Lect. Notes Comput. Sci. 5423, 231--245 (2009; Zbl 1211.68252) Full Text: DOI
Colvin, Robert; Hayes, Ian J. CSP with hierarchical state. (English) Zbl 1211.68266 Leuschel, Michael (ed.) et al., Integrated formal methods. 7th international conference, IFM 2009, Düsseldorf, Germany, February 16–19, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00254-0/pbk). Lecture Notes in Computer Science 5423, 118-135 (2009). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{R. Colvin} and \textit{I. J. Hayes}, Lect. Notes Comput. Sci. 5423, 118--135 (2009; Zbl 1211.68266) Full Text: DOI
Wong, Peter Y. H.; Gibbons, Jeremy Property specifications for workflow modelling. (English) Zbl 1211.68258 Leuschel, Michael (ed.) et al., Integrated formal methods. 7th international conference, IFM 2009, Düsseldorf, Germany, February 16–19, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00254-0/pbk). Lecture Notes in Computer Science 5423, 56-71 (2009). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{P. Y. H. Wong} and \textit{J. Gibbons}, Lect. Notes Comput. Sci. 5423, 56--71 (2009; Zbl 1211.68258) Full Text: DOI
Moffat, Nick; Goldsmith, Michael Assumption-commitment support for CSP model checking. (English) Zbl 1335.68178 Merz, Stephan (ed.) et al., Proceedings of the 6th international workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, September 18–19, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 185, 121-137 (2007). MSC: 68Q85 68Q60 68T15 PDFBibTeX XMLCite \textit{N. Moffat} and \textit{M. Goldsmith}, Electron. Notes Theor. Comput. Sci. 185, 121--137 (2007; Zbl 1335.68178) Full Text: DOI
Wang, Xu; Kwiatkowska, Marta Compositional state space reduction using untangled actions. (English) Zbl 1277.68213 Amadio, Roberto (ed.) et al., Proceedings of the 13th international workshop on expressiveness in concurrency (EXPRESS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 3, 27-46 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{X. Wang} and \textit{M. Kwiatkowska}, Electron. Notes Theor. Comput. Sci. 175, No. 3, 27--46 (2007; Zbl 1277.68213) Full Text: DOI
Wang, Xu; Kwiatkowska, Marta On process-algebraic verification of asynchronous circuits. (English) Zbl 1128.68070 Fundam. Inform. 80, No. 1-3, 283-310 (2007). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{X. Wang} and \textit{M. Kwiatkowska}, Fundam. Inform. 80, No. 1--3, 283--310 (2007; Zbl 1128.68070)
Ruhroth, Thomas; Wehrheim, Heike Refactoring object-oriented specifications with data and processes. (English) Zbl 1202.68102 Bonsangue, Marcello M. (ed.) et al., Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72919-8/pbk). Lecture Notes in Computer Science 4468, 236-251 (2007). MSC: 68N19 68Q60 68Q85 PDFBibTeX XMLCite \textit{T. Ruhroth} and \textit{H. Wehrheim}, Lect. Notes Comput. Sci. 4468, 236--251 (2007; Zbl 1202.68102) Full Text: DOI
Isobe, Yoshinao; Roggenbach, Markus A generic theorem prover of CSP refinement. (English) Zbl 1087.68592 Halbwachs, Nicolas (ed.) et al., Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25333-5/pbk). Lecture Notes in Computer Science 3440, 108-123 (2005). MSC: 68Q60 68Q85 68T15 PDFBibTeX XMLCite \textit{Y. Isobe} and \textit{M. Roggenbach}, Lect. Notes Comput. Sci. 3440, 108--123 (2005; Zbl 1087.68592) Full Text: DOI
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 PDFBibTeX XMLCite \textit{G. T. Rohrmair} and \textit{G. Lowe}, Theor. Comput. Sci. 340, No. 1, 82--101 (2005; Zbl 1142.68446) Full Text: DOI Link
Müffke, Friedger Process algebras as specification language (work in progress). (English) Zbl 1270.68218 Vogler, Walter (ed.) et al., MTCS ’02. Proceedings of the 3rd international workshop on models for time-critical systems (CONCUR 2002 satellite workshop), Brno, Czech Republic, August 24, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 68, No. 5, 101-115 (2003). MSC: 68Q85 03B44 68Q60 PDFBibTeX XMLCite \textit{F. Müffke}, Electron. Notes Theor. Comput. Sci. 68, No. 5, 101--115 (2003; Zbl 1270.68218) Full Text: Link