skip to main
|
skip to sidebar
Martin Sulzmann's Blog
Saturday, 12 April 2008
Martin Sulzmann has a blog
This blog is mainly about my professional activaties in computer science. Check out my youtube account for what I'm up to in my spare time.
Newer Posts
Home
Subscribe to:
Posts (Atom)
Labels
actor
boosting
communicating FA
concurrency
constraint handling rules
control
coordination
dsl
erlang
formal methods
guards
haskell
join
join pattern
library
linear temporal logic
model-checking
multi-set rewrite rules
parallelism
partial derivatives
partial evaluation
proofs are programs
regular expressions
software transactional memory
types
uppaal
Blog Archive
►
2013
(1)
►
January
(1)
►
2012
(4)
►
September
(1)
►
July
(1)
►
June
(2)
►
2011
(1)
►
October
(1)
►
2010
(1)
►
April
(1)
►
2009
(1)
►
November
(1)
▼
2008
(17)
►
December
(5)
►
November
(8)
►
October
(2)
►
May
(1)
▼
April
(1)
Martin Sulzmann has a blog