Compositionality: The Significant Difference | Zendy

Willem-Paul de Roever | Zendy; Hans Langmaack | Zendy; Amir Pnueli | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Compositionality: The Significant Difference

Author(s) -

Willem-Paul de Roever,

Hans Langmaack,

Amir Pnueli

Publication year - 1998

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/3-540-49213-5

Subject(s) - principle of compositionality , computer science , programming language , artificial intelligence

A survey is given of the main issues in compositional reasoning about state-based parallelism and of the history of their evolution, as re ected in the current literature. Compositional proof techniques are presented as the proof-theoretical analogue of Dijkstra's hierarchicallystructured program development. Machine-support for compositional reasoning, and the relationship between compositionality and modularity are discussed. The issues when compositional reasoning about concurrency is successful, and when it isn't, are commented upon. Pointers to the other papers in this volume are provided.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research