×

Found 26 Documents (Results 1–26)

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software