Logics of Programs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

35

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540128960, 9783540387756

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A rigorous approach to fault-tolerant system development

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-12896-4_361 ◽

1984 ◽

pp. 147-160 ◽

Author(s):

Flaviu Cristian

Keyword(s):

Fault Tolerant ◽

System Development ◽

Fault Tolerant System ◽

Rigorous Approach

Download Full-text

Automatic verification of asynchronous circuits

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-12896-4_358 ◽

1984 ◽

pp. 101-115 ◽

Author(s):

E. Clarke ◽

B. Mishra

Keyword(s):

Asynchronous Circuits ◽

Automatic Verification

Download Full-text

Hoare's logic for programs with procedures — What has been achieved?

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-12896-4_375 ◽

1984 ◽

pp. 383-395 ◽

Author(s):

Ernst-Rüdiger Olderog

Download Full-text

Introducing institutions

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-12896-4_366 ◽

1984 ◽

pp. 221-256 ◽

Author(s):

J. A. Goguen ◽

R. M. Burstall

Download Full-text

A semantics and proof system for communicating processes

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-12896-4_356 ◽

1984 ◽

pp. 68-85 ◽

Author(s):

Stephen D. Brookes

Keyword(s):

Proof System ◽

Communicating Processes

Download Full-text

Mathematics as programming

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-12896-4_359 ◽

1984 ◽

pp. 116-128 ◽

Author(s):

R. L. Constable

Download Full-text

A proof system for partial correctness of dynamic networks of processes

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-12896-4_384 ◽

1984 ◽

pp. 513-527 ◽

Author(s):

Job Zwiers ◽

Arie de Bruin ◽

Willem Paul de Roever

Keyword(s):

Dynamic Networks ◽

Proof System ◽

Partial Correctness

Download Full-text

A complete system of temporal logic for specification schemata

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-12896-4_373 ◽

1984 ◽

pp. 360-370 ◽

Author(s):

John McLean

Keyword(s):

Temporal Logic ◽

Complete System

Download Full-text

A verifier for compact parallel coordination programs

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-12896-4_371 ◽

1984 ◽

pp. 326-340 ◽

Author(s):

B. D. Lubachevsky

Download Full-text

A decision procedure for the propositional μ-calculus

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-12896-4_370 ◽

1984 ◽

pp. 313-325 ◽

Author(s):

Dexter Kozen ◽

Rohit Parikh

Keyword(s):

Decision Procedure

Download Full-text