Work

Value Passing in Stochastically Timed Process Algebras: A Symbolic Approach based on Lookahead

Year: 2000

Type: article

Author: Marco Bernardo

Institution: University of Bologna

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Otsuka Pharmaceutical, Japan Society for the Promotion of Science

Award: Whole gamma imaging to break through the physical limitation of positron emission tomography

OpenAlex ID: W33999338

FWCI:

Cites: 20

Cited by: 1

Related to: 10