Temporal logic of actions

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual
rdfs:label	Temporal logic of actions
owl:sameAs	dbr:Temporal_logic_of_actions
skos:prefLabel	Temporal logic of actions
skos:altLabel	TLA TLA+ temporal logic of actions
is clgo:knownFor of	Leslie Lamport

About: clgr:Temporal_logic_of_actions