×

Found 22 Documents (Results 1–22)

A denotational semantics for parameterised networks of synchronised automata. (English) Zbl 1483.68234

Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 93-113 (2017).
MSC:  68Q85 68Q45 68Q55
PDFBibTeX XMLCite
Full Text: DOI HAL

A theory for the composition of concurrent processes. (English) Zbl 1347.68267

Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 175-194 (2016).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI HAL

Deadlock detection in linear recursive programs. (English) Zbl 1445.68052

Bernardo, Marco (ed.) et al., Formal methods for executable software models. 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16–20, 2014. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8483, 26-64 (2014).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

Validating timed models of deployment components with parametric concurrency. (English) Zbl 1308.68037

Beckert, Bernhard (ed.) et al., Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28–30, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18069-9/pbk). Lecture Notes in Computer Science 6528, 46-60 (2011).
MSC:  68N30 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Turning inductive into equational specifications. (English) Zbl 1252.68249

Berghofer, Stefan (ed.) et al., Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03358-2/pbk). Lecture Notes in Computer Science 5674, 131-146 (2009).
MSC:  68T15 68N17 68N18 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Secured information flow for asynchronous sequential processes. (English) Zbl 1277.68159

Backes, Michael (ed.) et al., Proceedings of the international workshop on security and concurrency (SecCo 2005), San Francisco, CA, USA, August 22, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 180, No. 1, 17-34 (2007).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

A mechanized model of the theory of objects. (English) Zbl 1202.68097

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, 190-205 (2007).
MSC:  68N19 68N18 68Q55 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software