×

Found 4,024 Documents (Results 1–100)

100
MathJax

Communicating finite state machines and an extensible toolchain for multiparty session types. (English) Zbl 1487.68168

Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 18-35 (2021).
MSC:  68Q85 68N19 68Q45
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

Concurrent correctness in vector space. (English) Zbl 1472.68092

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

Bayesian strategies: probabilistic programs as generalised graphical models. (English) Zbl 1473.68054

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

Automated termination analysis of polynomial probabilistic programs. (English) Zbl 1473.68053

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, 491-518 (2021).
MSC:  68N30 68N19 68Q87
PDF BibTeX XML Cite
Full Text: DOI arXiv

Densities of almost surely terminating probabilistic programs are differentiable almost everywhere. (English) Zbl 1473.68048

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, 432-461 (2021).
MSC:  68N30 68N19
PDF BibTeX XML Cite
Full Text: DOI arXiv

Correctness of sequential Monte Carlo inference for probabilistic programming languages. (English) Zbl 1473.68038

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

Typestates to automata and back: a tool. (English) Zbl 1477.68073

Lange, Julien (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 25-42 (2020).
PDF BibTeX XML Cite
Full Text: arXiv Link

Syntactically restricting bounded polymorphism for decidable subtyping. (English) Zbl 1476.68041

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, 125-144 (2020).
MSC:  68N15 68N18 68N19
PDF BibTeX XML Cite
Full Text: DOI

Symbolic partial-order execution for testing multi-threaded programs. (English) Zbl 1478.68046

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, 376-400 (2020).
MSC:  68N19 68Q60
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

Refinement for structured concurrent programs. (English) Zbl 1478.68044

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, 275-298 (2020).
MSC:  68N19 68Q60
PDF BibTeX XML Cite
Full Text: DOI

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

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

Data assimilation for ocean drift trajectories using massive ensembles and GPUs. (English) Zbl 1454.65089

Klöfkorn, Robert (ed.) et al., Finite volumes for complex applications IX – methods, theoretical aspects, examples. FVCA 9, Bergen, Norway, June 15–19, 2020. In 2 volumes. Volume I and II. Cham: Springer. Springer Proc. Math. Stat. 323, 715-723 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Models, languages, and tools for concurrent and distributed programming. Essays dedicated to Rocco De Nicola on the occasion of his 65th birthday. (English) Zbl 1416.68004

Lecture Notes in Computer Science 11665. Cham: Springer (ISBN 978-3-030-21484-5/pbk; 978-3-030-21485-2/ebook). xiii, 498 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

SDN-actors: modeling and verification of SDN programs. (English) Zbl 1460.68052

Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 550-567 (2018).
MSC:  68Q60 68N19
PDF BibTeX XML Cite
Full Text: DOI Link

Compositional reasoning for shared-variable concurrent programs. (English) Zbl 1460.68067

Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 523-541 (2018).
MSC:  68Q60 68N19 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Automated synthesis: a distributed viewpoint. (English) Zbl 07278075

Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 3, 5 p. (2018).
MSC:  68N19 68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI

Synthesis of distributed algorithms with parameterized threshold guards. (English) Zbl 1487.68252

Aspnes, James (ed.) et al., 21st international conference on principles of distributed systems, OPODIS 2017, Lisboa, Portugal, December 18–20, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 95, Article 32, 20 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

On parallel snapshot isolation and release/acquire consistency. (English) Zbl 1418.68064

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, 940-967 (2018).
MSC:  68N30 68N19 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Correctness of a concurrent object collector for actor languages. (English) Zbl 1418.68040

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, 885-911 (2018).
MSC:  68N19
PDF BibTeX XML Cite
Full Text: DOI

Concurrent Kleene algebra: free model and completeness. (English) Zbl 1422.68035

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, 856-882 (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

A typing discipline for statically verified crash failure handling in distributed systems. (English) Zbl 1418.68019

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, 799-826 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Session-typed concurrent contracts. (English) Zbl 1418.68025

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, 771-798 (2018).
MSC:  68N15 68N19
PDF BibTeX XML Cite
Full Text: DOI

Fragment abstraction for concurrent shape analysis. (English) Zbl 1418.68124

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, 442-471 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Deadlock-free monitors. (English) Zbl 1418.68056

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, 415-441 (2018).
MSC:  68N30 68N19 68T15
PDF BibTeX XML Cite
Full Text: DOI

Logical reasoning for disjoint permissions. (English) Zbl 1418.68059

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, 385-414 (2018).
MSC:  68N30 03B70 68N19
PDF BibTeX XML Cite
Full Text: DOI

A separation logic for a promising semantics. (English) Zbl 1422.68037

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, 357-384 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Foundations of probabilistic logic programming. Languages, semantics, inference and learning. (English) Zbl 1420.68003

River Publishers Series in Software Engineering. Gistrup: River Publishers (ISBN 978-87-7022-018-7/hbk; 978-87-7022-017-0/ebook). xxxiii, 387 p. (2018).
MSC:  68-02 68N17 68N19
PDF BibTeX XML Cite

Polymorphic success types for Erlang. (English) Zbl 1415.68056

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 515-533 (2018).
MSC:  68N15 68N18 68N19
PDF BibTeX XML Cite
Full Text: DOI

Models and languages for description of parallel processes. (English. Russian original) Zbl 1484.68142

J. Comput. Syst. Sci. Int. 57, No. 3, 471-481 (2018); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2018, No. 3, 116-127 (2018).
MSC:  68Q85 68N19 68M14
PDF BibTeX XML Cite
Full Text: DOI

Probabilistic graph programs for randomised and evolutionary algorithms. (English) Zbl 1394.68050

Lambers, Leen (ed.) et al., Graph transformation. 11th international conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92990-3/pbk; 978-3-319-92991-0/ebook). Lecture Notes in Computer Science 10887, 63-78 (2018).
PDF BibTeX XML Cite
Full Text: DOI Link

Structured object-oriented formal language and method. 7th international workshop, SOFL+MSVL 2017, Xi’an, China, November 16, 2017. Revised selected papers. (English) Zbl 1384.68007

Lecture Notes in Computer Science 10795. Cham: Springer (ISBN 978-3-319-90103-9/pbk; 978-3-319-90104-6/ebook). x, 219 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

Race detection and reachability in nearly series-parallel DAGs. (English) Zbl 1403.68043

Czumaj, Artur (ed.), Proceedings of the 29th annual ACM-SIAM symposium on discrete algorithms, SODA 2018, New Orleans, LA, USA, January 7–10, 2018. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-61197-503-1/ebook). 156-171 (2018).
PDF BibTeX XML Cite
Full Text: Link

Procedural choreographic programming. (English) Zbl 07542237

Bouajjani, Ahmed (ed.) et al., Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10321, 92-107 (2017).
MSC:  68N19 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Session-based concurrency, reactively. (English) Zbl 07542236

Bouajjani, Ahmed (ed.) et al., Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10321, 74-91 (2017).
MSC:  68N19 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Proving opacity via linearizability: a sound and complete method. (English) Zbl 07542234

Bouajjani, Ahmed (ed.) et al., Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10321, 50-66 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Modularising opacity verification for hybrid transactional memory. (English) Zbl 07542233

Bouajjani, Ahmed (ed.) et al., Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10321, 33-49 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Design and implementation of concurrent C0. (English) Zbl 1483.68069

Cervesato, Iliano (ed.) et al., Proceedings of the fourth international workshop on linearity, LINEARITY 2016, Porto, Portugal, June 25, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 238, 73-82 (2017).
MSC:  68N19 68N15 68Q85
PDF BibTeX XML Cite
Full Text: arXiv Link

Non-blocking concurrent imperative programming with session types. (English) Zbl 1483.68068

Cervesato, Iliano (ed.) et al., Proceedings of the fourth international workshop on linearity, LINEARITY 2016, Porto, Portugal, June 25, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 238, 64-72 (2017).
PDF BibTeX XML Cite
Full Text: arXiv Link

Instant-based and state-based analysis of infinite logical clock. (English) Zbl 1461.68123

Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10189, 32-51 (2017).
MSC:  68Q60 68N15 68N19
PDF BibTeX XML Cite
Full Text: DOI

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