timed Pi-calculus

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf formal semantics
process calculus
gptkbp:developedBy Javier Parrow
gptkbp:field theoretical computer science
concurrency theory
gptkbp:hasFeature mobility
explicit time representation
https://www.w3.org/2000/01/rdf-schema#label timed Pi-calculus
gptkbp:publishedIn 1990s
gptkbp:relatedTo gptkb:Pi-calculus
gptkbp:usedFor modeling concurrent systems
gptkbp:bfsParent gptkb:Pi-calculus
gptkbp:bfsLayer 7