Browse New Popular Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports
Advertise herefrom $25.00/day  ·  RON $40.00/day

The Temporal Logic of Actions

research.digital.com
Visit Site

A logic for specifying and reasoning about concurrent systems.

Category
Temporal Logic
Visits
5
Added
Jun 28, 2025
Rating
(76)
Rate This Site
More in Temporal Logic Report
Advertise herefrom $12.00/day  ·  RON $18.00/day
Advertise herefrom $10.00/day  ·  RON $15.00/day
Advertise herefrom $8.00/day  ·  RON $11.20/day
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
Temporal Logic in Information Systems 486 visits
Marking up Temporal Logic 450 visits
Interval Temporal Logic 380 visits
Spin 377 visits
Temporal Logic 372 visits
Advertise herefrom $15.00/day  ·  RON $21.00/day