Mikkel Nygaard
- Domain theory for concurrency
2004/02/27 by Mikkel Nygaard, Glynn Winskel · 2 citations
Computer Science · Mathematics · #Algebra over a field #Bisimulation #Computer science #Concurrency #Denotational semantics #Discrete mathematics #Domain theory #Formal Methods in Verification #Linear logic #Logic, programming, and type systems #Mathematical proof #Mathematics #Nondeterministic algorithm #Operational semantics #Programming language #Pure mathematics #Semantics (computer science) #Soundness #Theoretical computer science #semigroups and automata theory