Work

Branching Bisimulation and Concurrent Object Verification

Year: 2018

Type: conference-paper

Source: International Conference on Dependable Systems & Networks/Proceedings

DOI: 10.1109/dsn.2018.00037

Authors: Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu

Institutions: Chinese Academy of Sciences, State Key Laboratory of Computer Science, RWTH Aachen University, Institute of Software

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Alexander von Humboldt-Stiftung, RWTH Aachen University

OpenAlex ID: W2884787095

FWCI: 0.306

Cites: 44

Cited by: 4

Related to: 10