×

Found 365 Documents (Results 1–100)

Newest Citations Relevance
Decker, Normann; Habermehl, Peter; Leucker, Martin; Sangnier, Arnaud; Thoma, Daniel

Model-checking counting temporal logics on flat structures. (English) Zbl 1442.68105

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 29, 17 p. (2017).
MSC:  68Q60 03B44
Cite Review PDF
Full Text: DOI arXiv
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso

Egalitarian state-transition systems. (English) Zbl 1367.68198

Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 98-117 (2016).
MSC:  68Q60 03B44 68Q42
Cite Review PDF
Full Text: DOI
Brotherston, James; Villard, Jules

Sub-classical Boolean bunched logics and the meaning of par. (English) Zbl 1373.03042

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 325-342 (2015).
MSC:  03B62 03B45 03B47 03B55 03B70
Cite Review PDF
Full Text: DOI
Turon, Aaron; Dreyer, Derek; Birkedal, Lars

Unifying refinement and Hoare-style reasoning in a logic for higher-order concurrency. (English) Zbl 1323.68386

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 377-390 (2013).
MSC:  68Q60 03B70 68N30
Cite Review PDF
Full Text: DOI
Abel, Andreas

Irrelevance in type theory with a heterogeneous equality judgement. (English) Zbl 1326.68076

Hofmann, Martin (ed.), Foundations of software science and computational structures. 14th international conference, FOSSACS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19804-5/pbk). Lecture Notes in Computer Science 6604, 57-71 (2011).
MSC:  68N30
Cite Review PDF
Full Text: DOI
Benevides, Mario R. F.; Schechter, L. Menasché

A propositional dynamic logic for concurrent programs based on the \(\pi\)-calculus. (English) Zbl 1345.68228

Bolander, Thomas (ed.) et al., Proceedings of the 6th workshop on methods for modalities (M4M-6 2009), Copenhagen, Denmark, November 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 262, 49-64 (2010).
MSC:  68Q85 03B70 68Q55 68Q60
Cite Review PDF
Full Text: DOI
Dreyer, Derek; Neis, Georg; Birkedal, Lars

The impact of higher-order state and control effects on local relational reasoning. (English) Zbl 1323.68203

Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 143-156 (2010).
MSC:  68N30 68N18 68Q55 68Q60
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software