Login / Signup
Semiautomatic Implementation of Communication Protocols from a Petri Net Based Specification Language Description.
P. Li
M. von Thun
Tharam S. Dillon
Published in:
FORTE (1989)
Keyphrases
</>
specification language
semi automatic
communication protocols
programming language
formal specification
description language
software environment
protocol specification
high level
general purpose
communication protocol
software engineering
information systems