Zobrazeno 1 - 10
of 13
pro vyhledávání: '"van den Bos, Petra"'
Publikováno v:
Musaev, S & Fokkink, W 2022, A Note on the Message Complexity of Cidon’s Distributed Depth-First Search Algorithm . in N Jansen, M Stoelinga & P van den Bos (eds), A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13560 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 467-471 . https://doi.org/10.1007/978-3-031-15629-8_24
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 467-471
STARTPAGE=467;ENDPAGE=471;TITLE=A Journey from Process Algebra via Timed Automata to Model Learning
Lecture Notes in Computer Science ISBN: 9783031156281
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 467-471
STARTPAGE=467;ENDPAGE=471;TITLE=A Journey from Process Algebra via Timed Automata to Model Learning
Lecture Notes in Computer Science ISBN: 9783031156281
The same distributed depth-first search algorithm was proposed independently by Lakshmanan, Meenakshi, and Thulasiraman, who gave 4 E- N as upper bound on the worst-case message complexity of the algorithm, and by Cidon, who gave 3E as upper bound. W
Artifact for paper 'VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs'
This artifact accompanies the paper “VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs” by Petra van den Bos and Sung-Shik Jongmans. The paper is part of the proceedings of FM 2023. This artifact includes a VM and a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b8aab37c4b714542a4d21b03b51315f0
Publikováno v:
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, 520-547
STARTPAGE=520;ENDPAGE=547;TITLE=Programming Languages and Systems
Programming Languages and Systems ISBN: 9783030993351
Jongmans, S-S & Bos, P V D 2022, A Predicate Transformer for Choreographies-Computing Preconditions in Choreographic Programming. in Ilya Sergey (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 . 1 edn, vol. 13240, Springer, Lecture Notes in Computer Science, vol. 13240, pp. 520-547, 1st European Symposium on Programming and the European Joint Conferences on Theory and Practice of Software, Munich, Germany, 2/04/22 . https://doi.org/10.1007/978-3-030-99336-8_19
STARTPAGE=520;ENDPAGE=547;TITLE=Programming Languages and Systems
Programming Languages and Systems ISBN: 9783030993351
Jongmans, S-S & Bos, P V D 2022, A Predicate Transformer for Choreographies-Computing Preconditions in Choreographic Programming. in Ilya Sergey (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 . 1 edn, vol. 13240, Springer, Lecture Notes in Computer Science, vol. 13240, pp. 520-547, 1st European Symposium on Programming and the European Joint Conferences on Theory and Practice of Software, Munich, Germany, 2/04/22 . https://doi.org/10.1007/978-3-030-99336-8_19
Construction and analysis of distributed systems is difficult; choreographic programming is a deadlock-freedom-by-construction approach to simplify it. In this paper, we present a new theory of choreographic programming. It supports for the first tim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::69f96407e9426fa13e97d8ad1244aaea
https://ir.cwi.nl/pub/31619
https://ir.cwi.nl/pub/31619
Publikováno v:
Jongmans, S-S & van den Bos, P 2022, A Predicate Transformer for Choreographies (Technical Report) . OUNL-CS (Technical Reports), no. 02, vol. 2022, Open Universiteit Nederland, Heerlen .
This technical report contains detailed definitions, auxiliary lemmas, main theorems, and proofs related to the paper A Predicate Transformer for Choreographies, published in the proceedings of ESOP 2022. The aim of this document is to provide a comp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fa502839028a7285bdd052d5f9240539
https://sungshik.github.io/papers/esop2022.pdf
https://sungshik.github.io/papers/esop2022.pdf
Publikováno v:
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
A Journey from Process Algebra via Timed Automata to Model Learning
Lecture Notes in Computer Science ISBN: 9783031156281
A Journey from Process Algebra via Timed Automata to Model Learning
Lecture Notes in Computer Science ISBN: 9783031156281
Formal analysis techniques for software systems are becoming more and more powerful, and have been used on non-trivial examples. We argue that the next step forward is to combine these different techniques in a single framework, which makes it possib
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db44e48b80ccf09dc936065834cd8f50
https://research.utwente.nl/en/publications/3ef7af16-7b97-4ae6-9ab1-e8d7fd0c774f
https://research.utwente.nl/en/publications/3ef7af16-7b97-4ae6-9ab1-e8d7fd0c774f
Publikováno v:
Jongmans, S-S & van den Bos, P 2022, A Predicate Transformer for Choreographies (Full Version) . OUNL-CS (Technical Reports), no. 01, vol. 2022, Open Universiteit Nederland, Heerlen .
Construction and analysis of distributed systems is difficult; choreographic programming is a deadlock-freedom-by-construction approach to simplify it. In this paper, we present a new theory of choreographic programming. It supports for the first tim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8deae2b3387e9998f4c01c236422e742
https://research.ou.nl/en/publications/168c38da-854f-4a6b-ad36-99674b97609b
https://research.ou.nl/en/publications/168c38da-854f-4a6b-ad36-99674b97609b
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Integrated Formal Methods (9783319336923); 2016, p295-310, 16p