Work

An efficient algorithm for time separation of events in concurrent systems

Year: 2007

Type: conference-paper

Source: Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design

DOI: 10.1109/iccad.2007.4397263

Authors: Peggy B. McGee, Steven M. Nowick

Institution: Columbia University

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3146839929

FWCI: 1.411

Cites: 16

Cited by: 20

Related to: 10