×

Found 134 Documents (Results 1–100)

Research challenges in orchestration synthesis. (English) Zbl 07820786

Aubert, Clément (ed.) et al., Proceedings of the 16th interaction and concurrency experience workshop, ICE 2023, Lisbon, Portugal, June 19, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 383, 73-90 (2023).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Partially typed multiparty sessions. (English) Zbl 07820783

Aubert, Clément (ed.) et al., Proceedings of the 16th interaction and concurrency experience workshop, ICE 2023, Lisbon, Portugal, June 19, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 383, 15-34 (2023).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

On composing communicating systems. (English) Zbl 07811913

Aubert, Clément (ed.) et al., Proceedings of the 15th interaction and concurrency experience workshop, ICE 2022, Lucca, Italy, June 17, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 365, 53-68 (2022).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Branching pomsets for choreographies. (English) Zbl 07811912

Aubert, Clément (ed.) et al., Proceedings of the 15th interaction and concurrency experience workshop, ICE 2022, Lucca, Italy, June 17, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 365, 37-52 (2022).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

A predicate transformer for choreographies. Computing preconditions in choreographic programming. (English) Zbl 1528.68080

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, 520-547 (2022).
MSC:  68N30 68N19 68Q85
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

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

Monitoring hyperproperties with circuits. (English) Zbl 1499.68199

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, 1-10 (2022).
MSC:  68Q60 03B44 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
PDFBibTeX XMLCite
Full Text: DOI

Exploring type-level bisimilarity towards more expressive multiparty session types. (English) Zbl 1508.68244

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, 251-279 (2020).
MSC:  68Q85 68N30
PDFBibTeX XMLCite
Full Text: DOI

Residual nominal automata. (English) Zbl 07559500

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 44, 21 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Session types with arithmetic refinements. (English) Zbl 07559469

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 13, 18 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Session subtyping and multiparty compatibility using circular sequents. (English) Zbl 07559468

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

Towards refinable choreographies. (English) Zbl 1477.68178

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, 61-77 (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: arXiv Link

An abstract framework for choreographic testing. (English) Zbl 1477.68176

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, 43-60 (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: Link

A type language for message passing component-based systems. (English) Zbl 1477.68183

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, 3-24 (2020).
MSC:  68Q85 68N18
PDFBibTeX XMLCite
Full Text: arXiv Link

A Kleene theorem for nominal automata. (English) Zbl 07561600

Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 107, 13 p. (2019).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

A light modality for recursion. (English) Zbl 1486.68033

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 499-516 (2017).
MSC:  68N18 03B40
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the undecidability of asynchronous session subtyping. (English) Zbl 1486.68114

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 441-457 (2017).
MSC:  68Q85 03D05 03D35
PDFBibTeX XMLCite
Full Text: DOI Link

The paths to choreography extraction. (English) Zbl 1486.68111

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 424-440 (2017).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Nominal automata with name binding. (English) Zbl 1486.68097

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 124-142 (2017).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Enforcing availability in failure-aware communicating systems. (English) Zbl 1347.68060

Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 195-211 (2016).
MSC:  68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

Multiparty session types within a canonical binary theory, and beyond. (English) Zbl 1347.68026

Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 74-95 (2016).
MSC:  68M14 68M12
PDFBibTeX XMLCite
Full Text: DOI HAL

Certifying data in multiparty session types. (English) Zbl 1343.68063

Lindley, Sam (ed.) et al., A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-30935-4/pbk; 978-3-319-30936-1/ebook). Lecture Notes in Computer Science 9600, 433-458 (2016).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI Link

A gentle introduction to multiparty asynchronous session types. (English) Zbl 1346.68034

Bernardo, Marco (ed.) et al., Formal methods for multicore programming. 15th international school on formal methods for the design of computer, communication, and software systems, SFM 2015, Bertinoro, Italy, June 15–19, 2015. Advanced lectures. Cham: Springer (ISBN 978-3-319-18940-6/pbk; 978-3-319-18941-3/ebook). Lecture Notes in Computer Science 9104, 146-178 (2015).
MSC:  68M12 68M14 68N30
PDFBibTeX XMLCite
Full Text: DOI Link

Network-conscious \(\pi\)-calculus – a model of Pastry. (English) Zbl 1342.68236

Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 3-17, electronic only (2015).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Global protocol implementations via attribute-based communication. (English) Zbl 1434.68103

Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 219-237 (2015).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Compliance in behavioural contracts: a brief survey. (English) Zbl 1434.68045

Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 103-121 (2015).
MSC:  68M14 68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Nominal Kleene coalgebra. (English) Zbl 1440.68174

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 286-298 (2015).
MSC:  68Q70 03B70 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Discretionary information flow control for interaction-oriented specifications. (English) Zbl 1321.68349

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 427-450 (2015).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

A class of automata for the verification of infinite, resource-allocating behaviours. (English) Zbl 1444.68115

Maffei, Matteo (ed.) et al., Trustworthy global computing. 9th international symposium, TGC 2014, Rome, Italy, September 5–6, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8902, 97-111 (2014).
MSC:  68Q85 68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Coinductive predicates and final sequences in a fibration. (English) Zbl 1334.68136

Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 197-214 (2013).
PDFBibTeX XMLCite
Full Text: DOI

A new strategy for distributed compensations with interruption in long-running transactions. (English) Zbl 1312.68126

Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 42-60 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software