Skip to main content

RISC

Home
More

English ‎(en)‎

Deutsch ‎(de)‎ English ‎(en)‎

You are currently using guest access

Log in

RISC

Expand all Collapse all

FormalPar23
Leslie Lamport: The Temporal Logic of Actions

Leslie Lamport: The Temporal Logic of Actions

Completion requirements

Click lamport-actions.pdf link to view the file.

You are currently using guest access (Log in)

Data retention summary

Get the mobile app

Powered by Moodle