Skip to main content

Specifying Software/Hardware Interactions in Distributed Systems

Gruia-Catalin Roman

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{Roman:ICSE87,
  author    = {Gruia{-}Catalin Roman},
  title     = {Specifying {Software/Hardware} Interactions in Distributed Systems},
  booktitle = {ICSE},
  pages     = {126--141},
  publisher = {{ACM}},
  year      = {1987},
}

Related papers

SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems ICSE 2007
A methodology and tool for performance analysis of distributed server systems ICSE 2006
Deciding choreography realizability POPL 2012
A Typing Discipline for Hardware Interfaces ECOOP 2019
Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management FSE 1998
Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints FSE 1995
Communication-safe web programming in TypeScript with routed multiparty session types CC 2021
Developing a security protocol for a distributed decision support system in a healthcare environment ICSE 2008