A first-order logic verification framework for communication-parametric and time-aware BPMN collaborations
The BPMN standard notation allows business process designers to model both intra-
organizational processes and inter-organizational collaborations. A great effort has been …
organizational processes and inter-organizational collaborations. A great effort has been …
A first-order logic semantics for communication-parametric BPMN collaborations
BPMN is suitable to model not only intra-organization workflows but also inter-organization
collaborations. There has been a great effort in providing a formal semantics for BPMN, and …
collaborations. There has been a great effort in providing a formal semantics for BPMN, and …
Formal Modeling and Analysis of Apache Kafka in Alloy 6
S Sinha, E Kang - International Conference on Rigorous State-Based …, 2024 - Springer
Apache Kafka is a distributed, fault-tolerant and highly available open-source technology
that utilizes a publish-subscribe communication model to stream large volumes of data. It is …
that utilizes a publish-subscribe communication model to stream large volumes of data. It is …
Check for Formal Modeling and Analysis of Apache Kafka in Alloy 6
S Sinha, E Kang - Rigorous State-Based Methods: 10th International … - books.google.com
Apache Kafka is a distributed, fault-tolerant and highly available open-source technology
that utilizes publish-subscribe communication model to stream large volumes of data. It is …
that utilizes publish-subscribe communication model to stream large volumes of data. It is …
Preface to the special issue on Formal Approaches to Parallel and Distributed Systems 2018
F Loulergue - Journal of Logical and Algebraic Methods in …, 2020 - Elsevier
This special issue contains extended versions of selected papers from the 5th International
Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2018). The …
Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2018). The …