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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781475710182, 9780387355207

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Erratum to: Formal Methods for Open Object-Based Distributed Systems IV

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

10.1007/978-0-387-35520-7_21 ◽

2017 ◽

pp. E1-E1

Author(s):

Scott F. Smith ◽

Carolyn L. Talcott

Keyword(s):

Distributed Systems ◽

Formal Methods ◽

Object Based

Download Full-text

Fail-Stop Components by Pattern Matching

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

10.1007/978-0-387-35520-7_18 ◽

2000 ◽

pp. 351-370

Author(s):

Tomasz Janowski ◽

Wojciech I. Mostowski

Keyword(s):

Pattern Matching

Download Full-text

Behavior Expression and OMDD

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

10.1007/978-0-387-35520-7_15 ◽

2000 ◽

pp. 285-304

Author(s):

Yunming Wang

Download Full-text

A Step Toward Automatic Distribution of Java Programs

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

10.1007/978-0-387-35520-7_7 ◽

2000 ◽

pp. 141-161 ◽

Cited By ~ 6

Author(s):

Isabelle Attali ◽

Denis Caromel ◽

Romain Guider

Keyword(s):

Java Programs

Download Full-text

Stochastically Enhanced Timed Automata

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

10.1007/978-0-387-35520-7_17 ◽

2000 ◽

pp. 327-347 ◽

Cited By ~ 5

Author(s):

Lynne Blair ◽

Trevor Jones ◽

Gordon Blair

Keyword(s):

Timed Automata

Download Full-text

A Formal Specification of the CORBA Event Service

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

10.1007/978-0-387-35520-7_19 ◽

2000 ◽

pp. 371-395 ◽

Cited By ~ 8

Author(s):

Rémi Bastide ◽

Ousmane Sy ◽

David Navarre ◽

Philippe Palanque

Keyword(s):

Formal Specification ◽

Event Service

Download Full-text

Components as Processes: An Exercise in Coalgebraic Modeling

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

10.1007/978-0-387-35520-7_20 ◽

2000 ◽

pp. 397-417 ◽

Cited By ~ 3

Author(s):

L. S. Barbosa

Download Full-text

Refinement of Objects and Operations in Object-Z

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

10.1007/978-0-387-35520-7_13 ◽

2000 ◽

pp. 257-277 ◽

Cited By ~ 1

Author(s):

John Derrick ◽

Eerke Boiten

Download Full-text

Atomic Failure in Wide-Area Computation

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

10.1007/978-0-387-35520-7_4 ◽

2000 ◽

pp. 65-86 ◽

Cited By ~ 2

Author(s):

Dominic Duggan

Keyword(s):

Wide Area

Download Full-text

Object-Oriented Programming for Wide-Area Computing

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

10.1007/978-0-387-35520-7_10 ◽

2000 ◽

pp. 209-209

Author(s):

Jayadev Misra

Keyword(s):

Object Oriented ◽

Object Oriented Programming ◽

Wide Area

Download Full-text

Formal Methods for Open Object-Based Distributed Systems IV - IFIP Advances in Information and Communication TechnologyLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Erratum to: Formal Methods for Open Object-Based Distributed Systems IV

Fail-Stop Components by Pattern Matching

Behavior Expression and OMDD

A Step Toward Automatic Distribution of Java Programs

Stochastically Enhanced Timed Automata

A Formal Specification of the CORBA Event Service

Components as Processes: An Exercise in Coalgebraic Modeling

Refinement of Objects and Operations in Object-Z

Atomic Failure in Wide-Area Computation

Object-Oriented Programming for Wide-Area Computing

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