Work

CONCUR 2005 - concurrency theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings

Year: 2005

Type: article

Source: Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B))

DOI: 10.1007/11539452

Authors: Martı́n Abadi, Luca de Alfaro

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1531463573

FWCI:

Cites:

Cited by: 1

Related to: 10