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

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer US

9781504128759, 9780387350820

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Viewpoint consistency in ODP, a general interpretation

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

10.1007/978-0-387-35082-0_14 ◽

1997 ◽

pp. 189-204 ◽

Author(s):

H. Bowman ◽

E. A. Boiten ◽

J. Derrick ◽

M. W. A. Steen

Download Full-text

Describing behaviour in interfaces

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

10.1007/978-0-387-35082-0_4 ◽

1997 ◽

pp. 36-43 ◽

Author(s):

Andreas Prinz

Download Full-text

CPN Modelling of an Object Based System: The ODP Trader

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

10.1007/978-0-387-35082-0_18 ◽

1997 ◽

pp. 245-260 ◽

Author(s):

A. Tokmakoff ◽

J. Billington

Keyword(s):

Download Full-text

Interaction Semantics for Components of Distributed Systems

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

10.1007/978-0-387-35082-0_11 ◽

1997 ◽

pp. 154-169 ◽

Author(s):

Carolyn Talcott

Keyword(s):

Distributed Systems

Download Full-text

A stream-based mathematical model for distributed information processing systems - the SysLab system model -

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

10.1007/978-0-387-35082-0_23 ◽

1997 ◽

pp. 315-322 ◽

Author(s):

Cornel Klein ◽

Bernhard Rumpe ◽

Manfred Broy

Keyword(s):

Mathematical Model ◽

Information Processing ◽

System Model ◽

Distributed Information

Download Full-text

Some Specification and Proof Steps of a Spanning Tree Algorithm with an Object-Oriented Method

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

10.1007/978-0-387-35082-0_9 ◽

1997 ◽

pp. 115-131 ◽

Author(s):

L. Bonnet ◽

L. Duchien ◽

G. Florin ◽

L. Seinturier

Keyword(s):

Spanning Tree ◽

Object Oriented ◽

Object Oriented Method ◽

Download Full-text

Using Actors as a computational model for OOram

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

10.1007/978-0-387-35082-0_12 ◽

1997 ◽

pp. 170-177

Author(s):

H. Vestli

Keyword(s):

Computational Model

Download Full-text

Abstracting Interaction Patterns: A Programming Paradigm for Open Distributed Systems

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

10.1007/978-0-387-35082-0_10 ◽

1997 ◽

pp. 135-153 ◽

Author(s):

Gul A. Agha

Keyword(s):

Distributed Systems ◽

Interaction Patterns ◽

Programming Paradigm ◽

Open Distributed Systems

Download Full-text

Formal Specification and Design of Distributed Systems

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

10.1007/978-0-387-35082-0_24 ◽

1997 ◽

pp. 325-340 ◽

Author(s):

A. Diagne ◽

P. Estraillier

Keyword(s):

Distributed Systems ◽

Formal Specification

Download Full-text

Omicron, An Object-Oriented Calculus

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

10.1007/978-0-387-35082-0_22 ◽

1997 ◽

pp. 298-314

Author(s):

Else K. Nordhagen

Keyword(s):

Object Oriented

Download Full-text