Subscribe to:
Post Comments (Atom)
Labels
- actor (2)
- boosting (2)
- communicating FA (2)
- concurrency (11)
- constraint handling rules (3)
- control (1)
- coordination (2)
- dsl (1)
- erlang (1)
- formal methods (1)
- guards (1)
- haskell (8)
- join (5)
- join pattern (1)
- library (2)
- linear temporal logic (2)
- model-checking (1)
- multi-set rewrite rules (4)
- parallelism (3)
- partial derivatives (3)
- partial evaluation (2)
- proofs are programs (1)
- regular expressions (5)
- software transactional memory (4)
- types (1)
- uppaal (2)
No comments:
Post a Comment