A Refinement Logic for the Fork Calculus
IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-0-387-34867-4_1
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1995
Authors
Publisher
Springer US
Available in full text
January 1, 1995
Springer US