×

Found 5,376 Documents (Results 1–100)

Brief announcement: Population protocols decide double-exponential thresholds. (English) Zbl 07824307

Oshman, Rotem (ed.) et al., Proceedings of the 42nd ACM symposium on principles of distributed computing, PODC ’23, Orlando, FL, USA, June 19–23, 2023. New York, NY: Association for Computing Machinery (ACM). 28-31 (2023).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

Efficient trace generation for rare-event analysis in chemical reaction networks. (English) Zbl 07750357

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, 83-102 (2023).
MSC:  68Q85 92C42 92E20
PDFBibTeX XMLCite
Full Text: DOI

Optimizing Maude programs via program specialization. (English) Zbl 1529.68130

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 21-50 (2023).
MSC:  68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Formal techniques for distributed objects, components, and systems. 43rd IFIP WG 6.1 international conference, FORTE 2023, held as part of the 18th international federated conference on distributed computing techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023. Proceedings. (English) Zbl 1528.68029

Lecture Notes in Computer Science 13910. Cham: Springer (ISBN 978-3-031-35354-3/pbk; 978-3-031-35355-0/ebook). xiv, 225 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Optimal good-case latency for rotating leader synchronous BFT. (English) Zbl 07832768

Bramas, Quentin (ed.) et al., 25th international conference on principles of distributed systems, OPODIS 2021, Strasbourg, France, December 13–15, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 217, Article 27, 19 p. (2022).
MSC:  68M14 68M20
PDFBibTeX XMLCite
Full Text: DOI

Brief announcement: Deterministic massively parallel algorithms for ruling sets. (English) Zbl 07824284

Milani, Alessia (ed.) et al., Proceedings of the 41st ACM symposium on principles of distributed computing, PODC ’22, Salerno, Italy, July 25–29, 2022. New York, NY: Association for Computing Machinery (ACM). 366-368 (2022).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Near-optimal distributed dominating set in bounded arboricity graphs. (English) Zbl 07824276

Milani, Alessia (ed.) et al., Proceedings of the 41st ACM symposium on principles of distributed computing, PODC ’22, Salerno, Italy, July 25–29, 2022. New York, NY: Association for Computing Machinery (ACM). 292-300 (2022).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Realizable and context-free hyperlanguages. (English) Zbl 1530.68191

Ganty, Pierre (ed.) et al., Proceedings of the 13th international symposium on games, automata, logics, and formal verification, GandALF 2022, Madrid, Spain, September 21–23, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 370, 114-130 (2022).
MSC:  68Q85 68Q42 68Q45
PDFBibTeX XMLCite
Full Text: arXiv Link

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

Lock-sensitive reachability analysis for parallel recursive programs with dynamic creation of threads and locks. A graph-based approach. (English) Zbl 1509.68004

Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). viii, 231 p., open access (2022).
PDFBibTeX XMLCite
Full Text: DOI

Languages of distributed reaction systems. (English) Zbl 07630822

Durand-Lose, Jérôme (ed.) et al., Machines, computations, and universality. 9th international conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13419, 75-90 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Invariant analysis for multi-agent graph transformation systems using \(k\)-induction. (English) Zbl 1514.68093

Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 173-192 (2022).
MSC:  68Q42 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Executable semantics and type checking for session-based concurrency in Maude. (English) Zbl 1514.68182

Bae, Kyungmin (ed.), Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13252, 230-250 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Method and algorithms for adaptive multiagent resource scheduling in heterogeneous distributed computing environments. (English. Russian original) Zbl 1498.93348

Autom. Remote Control 83, No. 8, 1228-1245 (2022); translation from Avtom. Telemekh. 2022, No. 8, 100-122 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Kaki: concurrent update synthesis for regular policies via Petri games. (English) Zbl 1502.68193

ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 249-267 (2022).
MSC:  68Q85 68M10 68Q60
PDFBibTeX XMLCite
Full Text: DOI

The synthesis problem for repeatedly communicating Petri games. (English) Zbl 1499.68225

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, 236-257 (2022).
MSC:  68Q85 68Q25 91A80
PDFBibTeX XMLCite
Full Text: DOI

Encodability criteria for quantum based systems. (English) Zbl 1499.68234

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, 151-169 (2022).
MSC:  68Q85 81P68
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fault-tolerant multiparty session types. (English) Zbl 1499.68233

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, 93-113 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

Lecture Notes in Computer Science 13273. Cham: Springer (ISBN 978-3-031-08678-6/pbk; 978-3-031-08679-3/ebook). xiv, 209 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Brief announcement: Variants of approximate agreement on graphs and simplicial complexes. (English) Zbl 07824220

Korhonen, Janne H. (ed.), Proceedings of the 40th ACM symposium on principles of distributed computing, PODC ’21, virtual event, Italy, July 26–30, 2021. New York, NY: Association for Computing Machinery (ACM). 427-430 (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI Link

The topology of randomized symmetry-breaking distributed computing. (English) Zbl 07824219

Korhonen, Janne H. (ed.), Proceedings of the 40th ACM symposium on principles of distributed computing, PODC ’21, virtual event, Italy, July 26–30, 2021. New York, NY: Association for Computing Machinery (ACM). 415-425 (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Brief announcement. Making synchronous BFT protocols secure in the presence of mobile sluggish faults. (English) Zbl 07824215

Korhonen, Janne H. (ed.), Proceedings of the 40th ACM symposium on principles of distributed computing, PODC ’21, virtual event, Italy, July 26–30, 2021. New York, NY: Association for Computing Machinery (ACM). 375-377 (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

Decision power of weak asynchronous models of distributed computing. (English) Zbl 07824188

Korhonen, Janne H. (ed.), Proceedings of the 40th ACM symposium on principles of distributed computing, PODC ’21, virtual event, Italy, July 26–30, 2021. New York, NY: Association for Computing Machinery (ACM). 115-125 (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Lower bounds on the state complexity of population protocols. (English) Zbl 07824181

Korhonen, Janne H. (ed.), Proceedings of the 40th ACM symposium on principles of distributed computing, PODC ’21, virtual event, Italy, July 26–30, 2021. New York, NY: Association for Computing Machinery (ACM). 45-54 (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Brief announcement: memory efficient massively parallel algorithms for LCL problems on trees. (English) Zbl 07774301

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 50, 4 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

Efficient distribution of quantum circuits. (English) Zbl 07774292

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 41, 20 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

Deterministic logarithmic completeness in the distributed sleeping model. (English) Zbl 07774261

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 10, 19 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Deterministic distributed algorithms and lower bounds in the hybrid model. (English) Zbl 07774256

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 5, 19 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Sized types with usages for parallel complexity of Pi-calculus processes. (English) Zbl 07730636

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

Deciding polynomial termination complexity for VASS programs. (English) Zbl 07730632

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

Scope-bounded reachability in valence systems. (English) Zbl 1520.68037

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 29, 19 p. (2021).
MSC:  68Q09 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

The orbit problem for parametric linear dynamical systems. (English) Zbl 07730630

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 28, 17 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

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

Adaptive synchronisation of pushdown automata. (English) Zbl 07730619

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

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 Link

Lack of quorum sensing leads to failure of consensus in Temnothorax ant emigration. (English) Zbl 1521.68059

Johnen, Colette (ed.) et al., Stabilization, safety, and security of distributed systems. 23rd international symposium, SSS 2021, virtual event, November 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13046, 209-228 (2021).
MSC:  68Q07 68Q10 92D50
PDFBibTeX XMLCite
Full Text: DOI

An online algorithm for data caching problem in edge computing. (English) Zbl 1498.68376

Wu, Weili (ed.) et al., Algorithmic aspects in information and management. 15th international conference, AAIM 2021, virtual event, December 20–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13153, 71-80 (2021).
MSC:  68W27 68M14 68M20
PDFBibTeX XMLCite
Full Text: DOI

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