Distributed system contract monitoring

Adrian Francalanza; Andrew Amato Gauci; Gordon J. Pace

doi:10.1016/j.jlap.2013.04.001

Distributed system contract monitoring

Adrian Francalanza (University of Malta) iD Andrew Amato Gauci (University of Malta) Gordon J. Pace (University of Malta) iD

Journal: The Journal of Logic and Algebraic Programming • 2013-04-28 • Elsevier BV • ISSN: 1567-8326

Abstract

Abstract text is not embedded in this discovery record. Please consult the full-text publication via the source link on the right.

Subjects & Keywords

# Formal Methods in Verification # Computer Science # Logic, programming, and type systems # Distributed systems and fault tolerance

How to Cite this Article

                    Adrian Francalanza, Andrew Amato Gauci, Gordon J. Pace (2013). "Distributed system contract monitoring". The Journal of Logic and Algebraic Programming. https://doi.org/10.1016/j.jlap.2013.04.001                

Access Full Article

Read Original Article ↗ View Source PDF ↗

MainReads is an independent discovery directory. Clicking above directs you to the official publisher repository.

Licence & Open Access

Open Access

Publicly accessible via the publisher or archive. Commercial redistribution or automated full-text duplication without author permission may be restricted.

Identifiers & Provenance

DOI: https://doi.org/10.1016/j.jlap.2013.04.001 ↗
OpenAlex: W2169444734 ↗
Primary Index: OPENALEX