Mikkel Nygaard

According to our database1, Mikkel Nygaard authored at least 4 papers between 2002 and 2004.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2004
Domain theory for concurrency.
Theor. Comput. Sci., 2004

2003
Full Abstraction for HOPLA.
Proceedings of the CONCUR 2003, 2003

2002
Linearity in Process Languages.
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

HOPLA-A Higher-Order Process Language.
Proceedings of the CONCUR 2002, 2002


  Loading...