Work

A survey of concurrent MetateM — The language and its applications

Year: 2005

Type: conference-paper

Source: Springer eBooks

Parent work: Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

DOI: 10.1007/bfb0014005

Author: Michael Fisher

Institution: Manchester Metropolitan University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2125814724

FWCI: 9.054

Cites: 27

Cited by: 215

Related to: 10