A modal process logic

• 6 January 2003
• proceedings article
• Published by Institute of Electrical and Electronics Engineers (IEEE)
• p. 203-210
• https://doi.org/10.1109/lics.1988.5119

Abstract

Keywords

• FORMAL LOGIC
• PROCESS ALGEBRA