Skip to main content

One post tagged with "temporal"

View All Tags
article image

TEMPORAL

Apr 3, 2018

Programming with Linear Temporal Logic Operators

At Matrix AI our research into language constructs for formally describing distributed systems has led us to a concept