Diagrammatic algebra: from linear to concurrent systems.
Filippo BonchiJoshua HollandRobin PiedeleuPawel SobocinskiFabio ZanasiPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- process algebra
- transition systems
- petri net
- formal specification
- model checking
- simple linear
- artificial intelligence
- data model
- image processing
- neural network
- constraint query languages
- algebraic expressions
- databases
- laplace transform
- linear systems
- linear model
- multiscale