×

Found 1,847 Documents (Results 1–100)

Automatic generation of verified concurrent hardware using VHDL. (English) Zbl 07724796

Lima, Lucas (ed.) et al., Formal methods: foundations and applications. 25th Brazilian symposium, SBMF 2022, virtual event, December 6–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13768, 55-72 (2022).
MSC:  68N15 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks. (English) Zbl 07722327

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 575-602 (2022).
MSC:  68Q85 68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Functional choreographic programming. (English) Zbl 07719834

Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 212-237 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reaching consensus in the presence of contention-related crash failures. (English) Zbl 1522.68063

Devismes, Stéphane (ed.) et al., Stabilization, safety, and security of distributed systems. 24th international symposium, SSS 2022, Clermont-Ferrand, France, November 15–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13751, 193-205 (2022).
MSC:  68M14 68M15 68W15
PDFBibTeX XMLCite
Full Text: DOI

From infinity to choreographies. Extraction for unbounded systems. (English) Zbl 1522.68068

Villanueva, Alicia (ed.), Logic-based program synthesis and transformation. 32nd international symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13474, 103-120 (2022).
MSC:  68M14 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Goéland: a concurrent tableau-based theorem prover (system description). (English) Zbl 07628198

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 359-368 (2022).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Discovering unseen behaviour from event logs. (English) Zbl 1499.68217

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 23-42 (2022).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Paradigms of concurrency. Observations, behaviours and systems – a Petri net view. (English) Zbl 1503.68008

Studies in Computational Intelligence 1020. Berlin: Springer (ISBN 978-3-662-64819-3/hbk; 978-3-662-64821-6/ebook). xii, 326 p. (2022).
MSC:  68-02 68Q85
PDFBibTeX XMLCite
Full Text: DOI

VBR: version based reclamation. (English) Zbl 07774286

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 35, 18 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Detectable sequential specifications for recoverable shared objects. (English) Zbl 07774280

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 29, 19 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

The canonical amoebot model: Algorithms and concurrency control. (English) Zbl 07774271

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 20, 19 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

CONCUR test-of-time award 2021 (Invited Paper). (English) Zbl 07730603

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 1, 3 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Translation of CCS into CSP, correct up to strong bisimulation. (English) Zbl 1522.68368

Calinescu, Radu (ed.) et al., Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13085, 243-261 (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

TSLQueue: an efficient lock-free design for priority queues. (English) Zbl 1512.68073

Sousa, Leonel (ed.) et al., Euro-Par 2021: parallel processing. 27th international conference on parallel and distributed computing, Lisbon, Portugal, September 1–3, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12820, 385-401 (2021).
MSC:  68P05
PDFBibTeX XMLCite
Full Text: DOI

Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins. (English) Zbl 07500634

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 3-17 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

A generalized concurrent rule construction for double-pushout rewriting. (English) Zbl 1489.68116

Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 22-39 (2021).
MSC:  68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Deterministic concurrent systems. (English) Zbl 1489.68148

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 423-442 (2021).
MSC:  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

Towards a truly concurrent semantics for reversible CCS. (English) Zbl 07419486

Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 109-125 (2021).
MSC:  68Q09 68Q10 81P68
PDFBibTeX XMLCite
Full Text: DOI HAL

Verification of concurrent programs using Petri net unfoldings. (English) Zbl 1472.68087

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 174-195 (2021).
MSC:  68Q60 68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Leafy automata for higher-order concurrency. (English) Zbl 07410425

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 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. Cham: Springer. Lect. Notes Comput. Sci. 12650, 184-204 (2021).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Toward linearizability testing for multi-word persistent synchronization primitives. (English) Zbl 07650869

Felber, Pascal (ed.) et al., 23rd international conference on principles of distributed systems, OPODIS 2019, Neuchâtel, Switzerland, December 17–19, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 153, Article 19, 17 p. (2020).
MSC:  68M14 68M20
PDFBibTeX XMLCite
Full Text: DOI

In search of the fastest concurrent union-find algorithm. (English) Zbl 1524.68436

Felber, Pascal (ed.) et al., 23rd international conference on principles of distributed systems, OPODIS 2019, Neuchâtel, Switzerland, December 17–19, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 153, Article 15, 16 p. (2020).
MSC:  68W10 68P05 68W40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Drawing the line: basin boundaries in safe Petri nets. (English) Zbl 1504.68143

Abate, Alessandro (ed.) et al., Computational methods in systems biology. 18th international conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12314, 321-336 (2020).
MSC:  68Q85 37C70 92C42
PDFBibTeX XMLCite
Full Text: DOI

Modular relaxed dependencies in weak memory concurrency. (English) Zbl 1508.68045

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 599-625 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Aneris: a mechanised logic for modular reasoning about distributed systems. (English) Zbl 1508.68246

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 336-365 (2020).
MSC:  68Q85 03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Scalable termination detection for distributed actor systems. (English) Zbl 07559467

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 11, 23 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

A classification of weak asynchronous models of distributed computing. (English) Zbl 07559466

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 10, 16 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Sharp congruences adequate with temporal logics combining weak and strong modalities. (English) Zbl 1483.68233

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 57-76 (2020).
MSC:  68Q85 03B44 68Q60
PDFBibTeX XMLCite
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

Biographic Reference

all top 3

Software