G-LOTOS: A Graphical Language for Concurrent Systems.
Tommaso BolognesiElie NajmPaul A. J. TilanusPublished in: Comput. Networks ISDN Syst. (1994)
Keyphrases
- concurrent systems
- process algebra
- temporal logic
- formal specification language
- model checking
- formal specification
- distributed systems
- query language for xml
- petri net
- specification language
- programming language
- natural language
- transition systems
- data sets
- open source
- language learning
- information systems
- language processing
- programming environment
- english language
- asynchronous circuits
- artificial intelligence
- information retrieval
- neural network