Formal Systems Specification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540619840, 9783540495734

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A functional solution to the RPC-memory specification problem

Formal Systems Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0024430 ◽

1996 ◽

pp. 183-211 ◽

Cited By ~ 1

Author(s):

Manfred Broy

Keyword(s):

Functional Solution

Download Full-text

A memory module specification using composable high-level petri nets

Formal Systems Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0024428 ◽

1996 ◽

pp. 109-159 ◽

Cited By ~ 4

Author(s):

Eike Best

Keyword(s):

Petri Nets ◽

Memory Module ◽

High Level

Download Full-text

The RPC-memory specification problem: UNITY + refinement calculus

Formal Systems Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0024440 ◽

1996 ◽

pp. 521-540 ◽

Cited By ~ 1

Author(s):

Rob T. Udink ◽

Joost N. Kok

Keyword(s):

Refinement Calculus

Download Full-text

The methodology of modal constraints

Formal Systems Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0024437 ◽

1996 ◽

pp. 405-435 ◽

Cited By ~ 7

Author(s):

Kim G. Larsen ◽

Bernhard Steffen ◽

Carsten Weise

Download Full-text

A case study in verification based on trace abstractions

Formal Systems Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0024435 ◽

1996 ◽

pp. 341-373 ◽

Cited By ~ 4

Author(s):

Nils Klarlund ◽

Mogens Nielsen ◽

Kim Sunesen

Download Full-text

Using relations on streams to solve the RPC-memory specification problem

Formal Systems Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0024439 ◽

1996 ◽

pp. 477-520 ◽

Cited By ~ 2

Author(s):

Ketil Stølen

Download Full-text

Tackling the RPC-memory specification problem with I/O automata

Formal Systems Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0024438 ◽

1996 ◽

pp. 437-475

Author(s):

Judi Romijn

Download Full-text

The RPC-memory specification problem problem statement

Formal Systems Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0024424 ◽

1996 ◽

pp. 1-4

Author(s):

Manfred Broy ◽

Leslie Lamport

Keyword(s):

Problem Statement

Download Full-text

Specification and verification using a visual formalism on top of temporal logic

Formal Systems Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0024434 ◽

1996 ◽

pp. 305-339

Author(s):

Hardi Hungar

Keyword(s):

Temporal Logic ◽

Specification And Verification

Download Full-text

A TLA solution to the RPC-memory specification problem

Formal Systems Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0024426 ◽

1996 ◽

pp. 21-66 ◽

Cited By ~ 3

Author(s):

Martín Abadi ◽

Leslie Lamport ◽

Stephan Merz

Download Full-text

Formal Systems Specification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A functional solution to the RPC-memory specification problem

A memory module specification using composable high-level petri nets

The RPC-memory specification problem: UNITY + refinement calculus

The methodology of modal constraints

A case study in verification based on trace abstractions

Using relations on streams to solve the RPC-memory specification problem

Tackling the RPC-memory specification problem with I/O automata

The RPC-memory specification problem problem statement

Specification and verification using a visual formalism on top of temporal logic

A TLA solution to the RPC-memory specification problem

Formal Systems Specification - Lecture Notes in Computer Science
Latest Publications