Publication:5719401

Publication date: 18 January 2006

68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)