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...