Publisher
Springer Nature Switzerland
Reference17 articles.
1. Abadi, M., Lamport, L.: Conjoining specifications. ACM Toplas 17(3), 507–535 (1995)
2. Broy, M.: Refining the safety-liveness classification of temporal properties according to realizability. In: Bartocci, E., Falcone, Y., Leucker, M. (eds.) Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday, pp. 10–31. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-87348-6_2
3. Broy, M.: A Calculus for the Specification and Verification of Distributed Concurrent Systems. Accepted for publication in Formal Aspects of Computing
4. Broy, M.: Specification and verification of concurrent systems by causality and realizability. Theoret. Comput. Sci. 974, 5 (2023)
5. Broy, M.: Beyond Monotonicity: Specification and Design of Concurrent Distributed System. To appear