User menu

A Programming Logic for Formal Concurrent Systems

Bibliographic reference Gribomont, EP.. A Programming Logic for Formal Concurrent Systems. In: Lecture Notes in Computer Science, Vol. 458, p. 298-313 (1990)
Permanent URL http://hdl.handle.net/2078.1/51534