TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 94 records were found in 0.359 seconds
Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams
GI Jahrestagung (1), 628-634, 2001
A Taxonomy for Triggered Interactions Using Fair Object Semantics
FIW, 193-209, 2000
Integration Problems in Telephone Feature Requirements
IFM, 129-148, 1999
Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings
ISBN: 3-540-65831-91586, 1999
Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems
IFM, 395-414, 1999
Incremental Specification of Telecommunication Services
ICFEM, 60-69, 1997
Telephone feature verification: Translating SDL to TLA+
SDL Forum, 103-118, 1997
Towards an Integrated Environment for Concurrent programs Development
AMAST, 407-408, 1993
On Using a Composition Principle to Design Parallel Programs
AMAST, 315-324, 1993
Temporal Specifications Directed by Grammar and Design of Process Networks
Specification and Verification of Concurrent Systems, 410-427, 1988
Méthode Axiomatique Pour Les Propriétés De Fatalité Des Programmes Parallèles
ITA, 21(3):287-322, 1987