../code/conceptPage.scroll

id timed-csp
name Timed CSP
appeared 1986
tags pl

reference https://semanticscholar.org/paper/481894caef9bdf65b61ef9823d24caf38d475c11

hopl https://hopl.info/showlanguage.prx?exp=6808