Work

A Timed Semantics of Workflows

Year: 2015

Type: conference-paper

Source: Communications in computer and information science

DOI: 10.1007/978-3-319-25579-8_21

Authors: Marcello M. Bersani, Salvatore Distefano, Luca Ferrucci, Manuel Mazzara

Institutions: Politecnico di Milano, Kazan Federal University, Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", Innopolis University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2295817058

FWCI: 0.233

Cites: 39

Cited by: 3

Related to: 10