A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference

The need for rigorous process composition is encountered in many situations pertaining to the development and analysis of complex systems. We discuss the use of Classical Linear Logic (CLL) for correct-by-construction resource-based process composition, with guaranteed deadlock freedom, systematic r...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Papapanagiotou, Petros, Fleuriot, Jacques
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Logic in Computer Science Computer Science - Programming Languages
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!