Calculi for Mobile Processes: Bibliography and Web Pages
1998 (English)In: Bulletin of the EATCS, Vol. 64Article, review/survey (Other (popular science, discussion, etc.)) Published
With this note we present a quick overview on the work that has been done to collect (online) resources - an extensive up-to-date bibliography and a web page for further information - covering the area of calculi for mobile processes. Therefore, we quickly recapitulate the history of this area from our point of view, which is witnessed by the number of respective research papers in the field.
Place, publisher, year, edition, pages
1998. Vol. 64
IdentifiersURN: urn:nbn:se:uu:diva-75011OAI: oai:DiVA.org:uu-75011DiVA: diva2:102921