×

Found 1,771 Documents (Results 1–100)

100
MathJax

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
PDF BibTeX XML Cite
Full Text: DOI

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

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI

Statistical analysis of non-deterministic fork-join processes. (English) Zbl 07369984

Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 83-102 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI Link

Towards a formal account for software transactional memory. (English) Zbl 07368060

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 255-263 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

On the semantics of polychronous polytimed specifications. (English) Zbl 07317088

Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12288, 23-40 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI HAL

A constraint-based language for multiparty interactions. (English) Zbl 07313964

Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 25-50 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
Full Text: DOI

Reasoning over permissions regions in concurrent separation logic. (English) Zbl 1478.68051

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 203-224 (2020).
MSC:  68N30 03B70 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Root causing linearizability violations. (English) Zbl 1478.68043

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 350-375 (2020).
MSC:  68N19 68P05 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Language inclusion for finite prime event structures. (English) Zbl 07228513

Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11990, 314-336 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI arXiv

Tutorial: Specifying, implementing, and verifying algorithms for persistent memory. (English) Zbl 07298723

Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 549 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI

The recoverable consensus hierarchy. (English) Zbl 07298677

Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 212-214 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI

Fast concurrent data sketches. (English) Zbl 07298675

Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 207-208 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Towards a theory of randomized shared memory algorithms. (English) Zbl 07298669

Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 156 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI

Developing an algebra for rely/guarantee concurrency: design decisions and challenges. (English) Zbl 07168639

Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 176-197 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

The inner and outer algebras of unified concurrency. (English) Zbl 07168638

Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 157-175 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI Link

Syntactic partial order compression for probabilistic reachability. (English) Zbl 07157058

Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11388, 446-467 (2019).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI

Taming concurrency for verification using multiparty session types. (English) Zbl 07142677

Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 196-215 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

The true concurrency of Herbrand’s theorem. (English) Zbl 07533330

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 5, 22 p. (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Continuous probability distributions in concurrent games. (English) Zbl 07517284

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 321-344 (2018).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

A denotational semantics for SPARC TSO. (English) Zbl 07513464

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 223-239 (2018).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Unfolding of parametric Boolean networks. (English) Zbl 07513448

Sanguinetti, Guido (ed.) et al., Proceedings of the 7th international workshop on static analysis and systems biology (SASB 2016), University of Edinburgh, Scotland, UK, September 7, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 335, 67-90 (2018).
MSC:  92C42
PDF BibTeX XML Cite
Full Text: DOI

Beyond series-parallel concurrent systems: the case of arch processes. (English) Zbl 1478.68187

Fill, James Allen (ed.) et al., 29th international conference on probabilistic, combinatorial and asymptotic methods for the analysis of algorithms, AofA 2018, June 25–29, 2018, Uppsala, Sweden. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 110, Article 14, 14 p. (2018).
MSC:  68Q85 05A15
PDF BibTeX XML Cite
Full Text: DOI arXiv

ReLoC: a mechanised relational logic for fine-grained concurrency. (English) Zbl 07298769

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 442-451 (2018).
MSC:  68Q85 03B70
PDF BibTeX XML Cite
Full Text: DOI

Locking timestamps versus locking objects. (English) Zbl 1428.68054

Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 367-376 (2018).
MSC:  68M14
PDF BibTeX XML Cite
Full Text: DOI Link

Separating lock-freedom from wait-freedom. (English) Zbl 1428.68056

Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 41-50 (2018).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI HAL

Recoverable mutual exclusion under system-wide failures. (English) Zbl 1428.68070

Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 17-26 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Nesting-safe recoverable linearizability: modular constructions for non-volatile memory. (English) Zbl 1428.68055

Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 7-16 (2018).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI

Deterministic concurrency: a clock-synchronised shared memory approach. (English) Zbl 1418.68047

Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 86-113 (2018).
MSC:  68N30 68Q55 68Q85
PDF BibTeX XML Cite
Full Text: DOI HAL

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software