Protocol Conformance with Choreographic PlusCal.

About 33,100 results

Any time

Open links in new tab

dariusf.github.io
https://dariusf.github.io/cpluscal.pdf
[PDF]
Protocol Conformance with Choreographic PlusCal - Darius Foo
Page Count: 32
File Size: 463KB
We extend Core PlusCal with new statements (Fig. 7b) and a top-level choreography declaration in cpcal (Fig. 7c). An implementation of a distributed protocol typically involves multiple sets of physical nodes …

We extend Core PlusCal with new statements (Fig. 7b) and a top-level choreography declaration in cpcal (Fig. 7c). An implementation of a distributed protocol typically involves multiple sets of physical nodes (or replicas), where nodes within each set follow the same \pattern of interaction".
Springer
https://link.springer.com/chapter/10.1007/978-3-031-35257-7_8
Protocol Conformance with Choreographic PlusCal
WEBJun 27, 2023 — We propose several extensions to PlusCal – an algorithm language which compiles to TLA \(^{+}\) – to allow writing distributed protocols as choreographies. This …
Springer
https://link.springer.com/content/pdf/10.1007/978-3-031-35257-7_8
[PDF]
Protocol Conformance with Choreographic PlusCal - Springer
WEBTwo-Phase Commit Choreography. The protocol in PlusCal is shown in Fig. 1 and Fig. 2. It is parameterized by two roles (Definition 1), participants and coordinators: finite sets of …
NUS Computing
https://www.comp.nus.edu.sg/~andreeac/pdf/ChoreographicPlusCal.pdf
[PDF]
Protocol Conformance with Choreographic PlusCal
WEBWe extend Core PlusCal with new statements (Fig. 7b), and a choreography top-level declaration in cpcal (Fig. 7c), which allows additional global statements. A protocol …
ACM Digital Library
https://dl.acm.org/doi/abs/10.1007/978-3-031-35257-7_8
Protocol Conformance with Choreographic PlusCal | Theoretical …
WEBJul 4, 2023 — We propose several extensions to PlusCal – an algorithm language which compiles to TLA + – to allow writing distributed protocols as choreographies. This …
ResearchGate
https://www.researchgate.net/publication/371899146...
Protocol Conformance with Choreographic PlusCal - ResearchGate
WEBJun 27, 2023 — In this article we report on applying the well-known TGV tool for protocol conformance testing of a Session Initiation Protocol (SIP) server.
Semantic Scholar
https://www.semanticscholar.org/paper/Protocol...
Protocol Conformance with Choreographic PlusCal - Semantic …
WEBWe pro-pose several extensions to PlusCal – an algorithm language which compiles to TLA + – to allow writing distributed protocols as choreographies. This enables more …
Google Scholar
https://scholar.google.com/citations?user=5x9STk4AAAAJ
‪Darius Foo‬ - ‪Google Scholar‬
WEBProtocol Conformance with Choreographic PlusCal. D Foo, A Costea, WN Chin. International Symposium on Theoretical Aspects of Software Engineering, 126-145, …
ACM Digital Library
https://dlnext.acm.org/doi/10.1007/978-3-031-35257-7_8
Protocol Conformance with Choreographic PlusCal | Theoretical …
WEBProtocol Conformance with Choreographic PlusCal; Article . Free Access. Share on. Protocol Conformance with Choreographic PlusCal. Authors: ...
dariusf.github.io
https://dariusf.github.io/research
Research - Darius Foo
WEBStaged Specifications for Automated Verification of Higher-Order Imperative Programs.
Pagination
- 1
- 2
- 3
- 4
- 5
- Next