Franz Achermann

According to our database1, Franz Achermann authored at least 5 papers between 2000 and 2005.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2005
A calculus for reasoning about software composition.
Theor. Comput. Sci., 2005

2002
Forms, Agents and Channels: Defining Composition Abstraction with Style.
PhD thesis, 2002

A Calculus for Modeling Software Components.
Proceedings of the Formal Methods for Components and Objects, 2002

2000
Explicit Namespaces.
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2000

Scripting Coordination Styles.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000


  Loading...