Work

Refinement of actions in event structures and causal trees

Year: 1993

Type: article

Source: Theoretical Computer Science

DOI: 10.1016/0304-3975(93)90361-v

Authors: Philippe Darondeau, Pierpaolo Degano

Institutions: Institut de Recherche en Informatique et Systèmes Aléatoires, University of Pisa, University of Parma

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W1998563363

FWCI: 4.514

Cites: 28

Cited by: 40

Related to: 10