LC/1, A Specification and Implementation Language for Protocols.
Jean-Michel AyacheJean-Pierre CourtiatPublished in: Protocol Specification, Testing, and Verification (1983)
Keyphrases
- specification language
- protocol specification
- programming language
- language learning
- formal specification
- agent communication language
- high level
- efficient implementation
- description language
- neural network
- formal language
- code generation
- communication protocols
- query language for xml
- higher throughput
- linear temporal logic
- definition language
- language processing
- natural language
- knowledge base