Compositionality: The Significant Difference - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540654933, 9783540492139

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compositional Refinement of Interactive Systems Modelled by Relations

Compositionality: The Significant Difference - Lecture Notes in Computer Science ◽

10.1007/3-540-49213-5_6 ◽

1998 ◽

pp. 130-149 ◽

Author(s):

Manfred Broy

Keyword(s):

Interactive Systems

Download Full-text

On the Combination of Synchronous Languages

Compositionality: The Significant Difference - Lecture Notes in Computer Science ◽

10.1007/3-540-49213-5_19 ◽

1998 ◽

pp. 490-514 ◽

Author(s):

Axel Poigné ◽

Leszek Holenderski

Keyword(s):

Synchronous Languages

Download Full-text

Modular Model Checking

Compositionality: The Significant Difference - Lecture Notes in Computer Science ◽

10.1007/3-540-49213-5_14 ◽

1998 ◽

pp. 381-401 ◽

Author(s):

Orna Kupferman ◽

Moshe Y. Vardi

Keyword(s):

Model Checking ◽

Download Full-text

Lazy Compositional Verication

Compositionality: The Significant Difference - Lecture Notes in Computer Science ◽

10.1007/3-540-49213-5_21 ◽

1998 ◽

pp. 541-564 ◽

Author(s):

Natarajan Shankar

Download Full-text

Compositional Reasoning in Model Checking

Compositionality: The Significant Difference - Lecture Notes in Computer Science ◽

10.1007/3-540-49213-5_4 ◽

1998 ◽

pp. 81-102 ◽

Author(s):

Sergey Berezin ◽

Sérgio Campos ◽

Edmund M. Clarke

Keyword(s):

Model Checking ◽

Compositional Reasoning

Download Full-text

An Adequate First Order Interval Logic

Compositionality: The Significant Difference - Lecture Notes in Computer Science ◽

10.1007/3-540-49213-5_23 ◽

1998 ◽

pp. 584-608 ◽

Author(s):

Zhou Chaochen ◽

Michael R. Hansen

Keyword(s):

Order Interval ◽

First Order ◽

Download Full-text

An overview of compositional translations

Compositionality: The Significant Difference - Lecture Notes in Computer Science ◽

10.1007/3-540-49213-5_12 ◽

1998 ◽

pp. 327-349

Author(s):

Theo M. V. Janssen

Download Full-text

Composition: A Way to Make Proofs Harder

Compositionality: The Significant Difference - Lecture Notes in Computer Science ◽

10.1007/3-540-49213-5_15 ◽

1998 ◽

pp. 402-423 ◽

Author(s):

Leslie Lamport

Download Full-text

Compositional proof methods for concurrency: A semantic approach

Compositionality: The Significant Difference - Lecture Notes in Computer Science ◽

10.1007/3-540-49213-5_25 ◽

1998 ◽

pp. 632-646 ◽

Author(s):

F. S. de Boer ◽

W. -P. de Roever

Keyword(s):

Semantic Approach ◽

Download Full-text

Compositionality Criteria for Defining Mixed-Styles Synchronous Languages

Compositionality: The Significant Difference - Lecture Notes in Computer Science ◽

10.1007/3-540-49213-5_16 ◽

1998 ◽

pp. 424-438

Author(s):

Florence Maraninchi ◽

Yann Rémond

Keyword(s):

Synchronous Languages

Download Full-text