SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems

No abstract available.

BibTeX

@inproceedings{Kraemer:ICSE87,
  author    = {Bernd J. Kr{\"{a}}mer},
  title     = {{SEGRAS} - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems},
  booktitle = {ICSE},
  pages     = {116--125},
  publisher = {{ACM}},
  year      = {1987},
}

SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems

Related papers