Skip to content

Multiple Propositional Dynamic Logic of Parallel Programs (Extended Abstract).

Ryszard Danecki

VenueBMFCS
Year1988
ProceedingsMFCS

Browse the full MFCS paper archive.