×

Found 1,838 Documents (Results 1–100)

Elimination of detached regions in dependency graph verification. (English) Zbl 07750361

Caltais, Georgiana (ed.) et al., Model checking software. 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13872, 163-179 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Reasoning about promises in weak memory models with event structures. (English) Zbl 1529.68181

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 282-300 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Minimisation of spatial models using branching bisimilarity. (English) Zbl 1529.68155

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 263-281 (2023).
MSC:  68Q60 03B70 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Encodability and separation for a reflective higher-order calculus. (English) Zbl 1532.68048

Castiglioni, Valentina (ed.) et al., Proceedings of the combined 29th international workshop on expressiveness in concurrency and the 19th workshop on structural operational semantics, EXPRESS/SOS 2022, Warsaw, Poland, September 12, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 368, 95-112 (2022).
MSC:  68Q85 03B70
PDFBibTeX XMLCite
Full Text: arXiv Link

A generic type system for higher-order \(\Psi\)-calculi. (English) Zbl 1532.68034

Castiglioni, Valentina (ed.) et al., Proceedings of the combined 29th international workshop on expressiveness in concurrency and the 19th workshop on structural operational semantics, EXPRESS/SOS 2022, Warsaw, Poland, September 12, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 368, 43-59 (2022).
MSC:  68Q85 03B70
PDFBibTeX XMLCite
Full Text: arXiv Link

From legal contracts to legal calculi: the code-driven normativity. (English) Zbl 1532.68038

Castiglioni, Valentina (ed.) et al., Proceedings of the combined 29th international workshop on expressiveness in concurrency and the 19th workshop on structural operational semantics, EXPRESS/SOS 2022, Warsaw, Poland, September 12, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 368, 23-42 (2022).
MSC:  68Q85 03B70
PDFBibTeX XMLCite
Full Text: arXiv Link

Back-and-forth in space: on logics and bisimilarity in closure spaces. (English) Zbl 1524.68213

Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 98-115 (2022).
MSC:  68Q85 03B70 54A05
PDFBibTeX XMLCite
Full Text: DOI

Optimising business process discovery using answer set programming. (English) Zbl 1515.68290

Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 498-504 (2022).
MSC:  68T20 68N17 90B70
PDFBibTeX XMLCite
Full Text: DOI

LTL under reductions with weaker conditions than stutter invariance. (English) Zbl 1499.68204

Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 170-187 (2022).
MSC:  68Q60 03B44 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

Monitoring hyperproperties with circuits. (English) Zbl 1499.68199

Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 1-10 (2022).
MSC:  68Q60 03B44 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Separating sessions smoothly. (English) Zbl 1527.68033

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 36, 18 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Explaining behavioural inequivalence generically in quasilinear time. (English) Zbl 07730634

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 32, 18 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

A temporal logic for strategic hyperproperties. (English) Zbl 07730626

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 24, 19 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

A decidable non-regular modal fixpoint logic. (English) Zbl 07730625

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 23, 18 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

SMT-based model checking of max-plus linear systems. (English) Zbl 07730624

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 22, 20 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

A unifying framework for deciding synchronizability. (English) Zbl 07730616

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 14, 18 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Model checking quantum continuous-time Markov chains. (English) Zbl 07730615

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 13, 17 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Quantified linear temporal logic over probabilistic systems with an application to vacuity checking. (English) Zbl 07730609

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 7, 18 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Process-as-formula interpretation: a substructural multimodal view (invited talk). (English) Zbl 07700608

Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 3, 21 p. (2021).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

A temporal logic for asynchronous hyperproperties. (English) Zbl 1493.68205

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 694-717 (2021).
MSC:  68Q60 03B44 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

\( \pi\) with leftovers: a mechanisation in Agda. (English) Zbl 1490.68143

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 157-174 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Prioritise the best variation. (English) Zbl 1490.68141

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 100-119 (2021).
MSC:  68Q85 03B70 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

On bidirectional runtime enforcement. (English) Zbl 1489.68135

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 3-21 (2021).
MSC:  68Q60 03B70 68Q85
PDFBibTeX XMLCite
Full Text: DOI HAL

Higher-order recursion schemes and their automata models. (English) Zbl 07425671

Pin, Jean-Éric (ed.), Handbook of automata theory. Volume II. Automata in mathematics and selected applications. Berlin: European Mathematical Society (EMS). 1295-1341 (2021).
PDFBibTeX XMLCite
Full Text: DOI

A game for linear-time-branching-time spectroscopy. (English) Zbl 1467.68129

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 3-19 (2021).
MSC:  68Q85 03B70 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software