×

Found 4,399 Documents (Results 1–100)

100
MathJax

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

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

Automatic synthesis of transiently correct network updates via Petri games. (English) Zbl 07493574

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, 118-137 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Flat Petri nets (invited talk). (English) Zbl 07493569

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, 17-30 (2021).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Nested session types. (English) Zbl 1473.68113

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. 12648, 178-206 (2021).
MSC:  68Q85 68Q42
PDF BibTeX XML Cite
Full Text: DOI arXiv

Types for complexity of parallel computation in pi-calculus. (English) Zbl 1473.68111

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. 12648, 59-86 (2021).
MSC:  68Q85 68Q25 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Data flow analysis of asynchronous systems using infinite abstract domains. (English) Zbl 1473.68110

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. 12648, 30-58 (2021).
MSC:  68Q85 68M14 68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

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. (English) Zbl 1482.68037

Lecture Notes in Computer Science 12719. Cham: Springer (ISBN 978-3-030-78088-3/pbk; 978-3-030-78089-0/ebook). xii, 245 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

It sometimes works: a lifting algorithm for repair of stochastic process algebra models. (English) Zbl 1484.68038

Hermanns, Holger (ed.), Measurement, modelling and evaluation of computing systems. 20th international GI/ITG conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12040, 190-207 (2020).
MSC:  68M20 68M15 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Performance analysis for loss systems with many subscribers and concurrent services. (English) Zbl 1484.68021

Hermanns, Holger (ed.), Measurement, modelling and evaluation of computing systems. 20th international GI/ITG conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12040, 118-135 (2020).
MSC:  68M11 68M20
PDF BibTeX XML Cite
Full Text: DOI

Concurrent MDPs with finite Markovian policies. (English) Zbl 1484.68032

Hermanns, Holger (ed.), Measurement, modelling and evaluation of computing systems. 20th international GI/ITG conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12040, 37-53 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Deciding the bisimilarity of context-free session types. (English) Zbl 1483.68219

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, 39-56 (2020).
MSC:  68Q85 68N20 68Q42
PDF BibTeX XML Cite
Full Text: DOI

An \(O(m \log n)\) algorithm for branching bisimilarity on labelled transition systems. (English) Zbl 1483.68232

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, 3-20 (2020).
MSC:  68Q85 68W40
PDF BibTeX XML Cite
Full Text: DOI

Parameterized synthesis with safety properties. (English) Zbl 1476.68154

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 273-292 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Map-Reduce process algebra: a formalism to describe directed acyclic graph task-based jobs in parallel environments. (English) Zbl 1475.68038

Gribaudo, Marco (ed.) et al., Analytical and stochastic modelling techniques and applications. 25th international conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12023, 85-99 (2020).
PDF BibTeX XML Cite
Full Text: DOI

3D-array token Petri nets generating tetrahedral picture languages. (English) Zbl 1482.68154

Lukić, Tibor (ed.) et al., Combinatorial image analysis. 20th international workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12148, 88-105 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Brief announcement: Hazard pointer protection of structures with immutable links. (English) Zbl 07323194

Cachin, Christian (ed.) et al., Proceedings of the 39th ACM symposium on principles of distributed computing, PODC ’20, virtual event, August 3–7, 2020. New York, NY: Association for Computing Machinery (ACM). 230-232 (2020).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI

From Bezout’s identity to space-optimal election in anonymous memory systems. (English) Zbl 07323167

Cachin, Christian (ed.) et al., Proceedings of the 39th ACM symposium on principles of distributed computing, PODC ’20, virtual event, August 3–7, 2020. New York, NY: Association for Computing Machinery (ACM). 41-50 (2020).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI

Upper and lower bounds on the space complexity of detectable objects. (English) Zbl 07323164

Cachin, Christian (ed.) et al., Proceedings of the 39th ACM symposium on principles of distributed computing, PODC ’20, virtual event, August 3–7, 2020. New York, NY: Association for Computing Machinery (ACM). 11-20 (2020).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Supervisory control and scheduling of resource allocation systems. Reachability graph perspective. (English) Zbl 1456.93001

IEEE Press Series on Systems Science and Engineering. Piscataway, NJ: IEEE Press; Hoboken, NJ: John Wiley & Sons (ISBN 978-1-119-61968-0/hbk; 978-1-119-61972-7/ebook). xxv, 256 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

Correct audit logging in concurrent systems. (English) Zbl 07313968

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, 115-141 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
Full Text: DOI

Checking qualitative liveness properties of replicated systems with stochastic scheduling. (English) Zbl 1478.68147

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, 372-397 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Semantics, specification, and bounded verification of concurrent libraries in replicated systems. (English) Zbl 1478.68045

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, 251-274 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

When reachability meets Grzegorczyk. (English) Zbl 07299453

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 1-6 (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

A fuzzy modal logic for fuzzy transition systems. (English) Zbl 1452.68126

Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 85-103 (2020).
MSC:  68Q85 03B45 03B52
PDF BibTeX XML Cite
Full Text: DOI

A methodology approach to compare performance of parallel programming models for shared-memory architectures. (English) Zbl 1468.68035

Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11973, 318-325 (2020).
MSC:  68M20 68N19
PDF BibTeX XML Cite
Full Text: DOI Link

Hyaline: fast and transparent lock-free memory reclamation. (English) Zbl 07298704

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). 419-421 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI

Randomized concurrent set union and generalized wake-up. (English) Zbl 07298673

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). 187-196 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI

A recoverable mutex algorithm with sub-logarithmic RMR on both CC and DSM. (English) Zbl 07298672

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). 177-186 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

all top 3

Software