SRC Research Report 86

A Logical View of Composition

Martin Abadi and Gordon D. Plotkin

We define two logics of safety specifications for reactive systems. The logics provide a setting for the study of composition rules. The two logics arise naturally from extant specification approaches; one of the logics is intuitionistic, while the other one is linear.

Back to the SRC Research Reports main page.

• PostScript compressed with UNIX compress -- 120 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 96 Kbytes
  
• PostScript compressed with ZIP -- 96 Kbytes
  
• PostScript -- 320 Kbytes
  
• Portable Document Format (PDF) -- 304 Kbytes