Work

The specification of process synchronization by path expressions

Year: 2005

Type: conference-paper

Source: Springer eBooks

Parent work: Operating Systems

DOI: 10.1007/bfb0029355

Authors: R. H. Campbell, A. N. Habermann

Institutions: Newcastle University, Carnegie Mellon University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Newcastle University

OpenAlex ID: W1546981056

FWCI: 6.299

Cites: 11

Cited by: 443

Related to: 10