Work

A compositional proof system on a category of labelled transition systems

Year: 1990

Type: article

Source: Information and Computation

DOI: 10.1016/0890-5401(90)90058-p

Author: Glynn Winskel

Institution: Aarhus University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2001587236

FWCI: 2.748

Cites: 40

Cited by: 23

Related to: 10