IFIP Advances in Information and Communication Technology - Formal Methods for Open Object-based Distributed Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781504129527, 9780387352619

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Calculus with Code Mobility

IFIP Advances in Information and Communication Technology - Formal Methods for Open Object-based Distributed Systems ◽

10.1007/978-0-387-35261-9_3 ◽

1997 ◽

pp. 21-36 ◽

Cited By ~ 9

Author(s):

Tatsurou Sekiguchi ◽

Akinori Yonezawa

Keyword(s):

Code Mobility

Download Full-text

CSP-OZ: A Combination of Object-Z and CSP

IFIP Advances in Information and Communication Technology - Formal Methods for Open Object-based Distributed Systems ◽

10.1007/978-0-387-35261-9_29 ◽

1997 ◽

pp. 423-438 ◽

Cited By ~ 105

Author(s):

Clemens Fischer

Download Full-text

A Conformance Relationship for Stream Interfaces

IFIP Advances in Information and Communication Technology - Formal Methods for Open Object-based Distributed Systems ◽

10.1007/978-0-387-35261-9_27 ◽

1997 ◽

pp. 399-408 ◽

Cited By ~ 2

Author(s):

Frank Eliassen

Download Full-text

Meta Information Management

IFIP Advances in Information and Communication Technology - Formal Methods for Open Object-based Distributed Systems ◽

10.1007/978-0-387-35261-9_13 ◽

1997 ◽

pp. 193-202 ◽

Cited By ~ 8

Author(s):

Stephen Crawley ◽

Scott Davis ◽

Jaga Indulska ◽

Simon McBride ◽

Kerry Raymond

Keyword(s):

Information Management ◽

Meta Information

Download Full-text

Invited Paper — Computational models for open distributed systems

IFIP Advances in Information and Communication Technology - Formal Methods for Open Object-based Distributed Systems ◽

10.1007/978-0-387-35261-9_11 ◽

1997 ◽

pp. 157-176 ◽

Cited By ~ 9

Author(s):

Elie Najm ◽

Jean-Bernard Stefani

Keyword(s):

Distributed Systems ◽

Computational Models ◽

Open Distributed Systems

Download Full-text

Architectural Concepts for Agent Paradigm: A Way to Separate Concerns in Open Distributed Systems

IFIP Advances in Information and Communication Technology - Formal Methods for Open Object-based Distributed Systems ◽

10.1007/978-0-387-35261-9_26 ◽

1997 ◽

pp. 387-398 ◽

Cited By ~ 1

Author(s):

A. Diagne

Keyword(s):

Distributed Systems ◽

Open Distributed Systems

Download Full-text

Actors and Virtual Time: an Experience using Time Warp, Timed Petri Nets and Cellular Networks

IFIP Advances in Information and Communication Technology - Formal Methods for Open Object-based Distributed Systems ◽

10.1007/978-0-387-35261-9_9 ◽

1997 ◽

pp. 123-138

Author(s):

Roberto Beraldi ◽

Libero Nigro ◽

Francesco Pupo

Keyword(s):

Petri Nets ◽

Cellular Networks ◽

Timed Petri Nets ◽

Time Warp ◽

Virtual Time

Download Full-text

A Set-Constraint-based analysis of Actors

IFIP Advances in Information and Communication Technology - Formal Methods for Open Object-based Distributed Systems ◽

10.1007/978-0-387-35261-9_8 ◽

1997 ◽

pp. 107-122 ◽

Cited By ~ 6

Author(s):

J-L. Colaço ◽

M. Pantel ◽

P. Sallé

Download Full-text

Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic

IFIP Advances in Information and Communication Technology - Formal Methods for Open Object-based Distributed Systems ◽

10.1007/978-0-387-35261-9_7 ◽

1997 ◽

pp. 89-104 ◽

Cited By ~ 5

Author(s):

Grit Denker ◽

Hans-Dieter Ehrich

Keyword(s):

Information Systems ◽

Temporal Logic ◽

Object Oriented ◽

Distributed Information Systems ◽

Distributed Information ◽

Object Oriented Approach ◽

Oriented Approach

Download Full-text

Applying LOTOS to the Design of TINA Applications

IFIP Advances in Information and Communication Technology - Formal Methods for Open Object-based Distributed Systems ◽

10.1007/978-0-387-35261-9_31 ◽

1997 ◽

pp. 455-466 ◽

Cited By ~ 1

Author(s):

E. Koerner ◽

L. Strick

Download Full-text

IFIP Advances in Information and Communication Technology - Formal Methods for Open Object-based Distributed SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

A Calculus with Code Mobility

CSP-OZ: A Combination of Object-Z and CSP

A Conformance Relationship for Stream Interfaces

Meta Information Management

Invited Paper — Computational models for open distributed systems

Architectural Concepts for Agent Paradigm: A Way to Separate Concerns in Open Distributed Systems

Actors and Virtual Time: an Experience using Time Warp, Timed Petri Nets and Cellular Networks

A Set-Constraint-based analysis of Actors

Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic

Applying LOTOS to the Design of TINA Applications

IFIP Advances in Information and Communication Technology - Formal Methods for Open Object-based Distributed Systems
Latest Publications