@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://dbpedia.org/class/yago/> .
dbpedia:Temporal_logic_of_actions	rdf:type	ns2:FormalMethods .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:Temporal_logic_of_actions	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000006dba0d> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns5:	<http://en.wikipedia.org/wiki/> .
dbpedia:Temporal_logic_of_actions	foaf:page	ns5:Temporal_logic_of_actions .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:Temporal_logic_of_actions	dbpprop:reference	<http://research.microsoft.com/users/lamport/tla/tla.html> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Temporal_logic_of_actions	rdfs:label	"Temporal logic of actions"@en ,
		"Temporale Logik der Aktionen"@de ;
	dbpprop:abstract	"Temporal logic of actions (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions. It is used to describe behaviours of concurrent systems. Statements in temporal logic of the form &lt;math&gt;[A]_t&lt;/math&gt;, where A is an action and t contains a subset of the variables appearing in A. An action is an expression containing primed and non-primed variables, such as &lt;math&gt;x+x'*y=y'&lt;/math&gt;. The meaning of the non-primed variables is the variable's value in this state. The meaning of primed variables is the variable's value in the next state. The above expression means the value of x now, plus the value of x tomorrow times the value of y now, equals the value of y tomorrow. The meaning of &lt;math&gt;[A]_t&lt;/math&gt; is that either A is valid now, or the variables appearing in t do not change. This allows for stuttering steps, in which none of the program variables change their values. Some TLA+ editors include : Eclipse TLA+ Plugin, VisualTLA, TLA Editor, TLA# Plugin for Microsoft Visual Studio 2005"@en ,
		"Die Temporale Logik der Aktionen (TLA) ist eine Weiterentwicklung der Temporalen Logik (engl. temporal logic) und der Logik der Aktionen (engl. logic of actions). Sie wurde von Leslie Lamport entwickelt. Die Temporale Logik der Aktionen geh\u00F6rt zur Aussagenlogik (engl. propositional logic) und wird in der Informatik zur Spezifikation, Argumentation und Verfikation von Systemen (z. B. Programmen) verwendet. Eine Spezifikation in TLA ist eine logische Formel, die alle m\u00F6glichen und korrekten Verhalten eines Systems beschreibt. Anhand dieser logischen Formel k\u00F6nnen Systeme auf unerw\u00FCnschte und gew\u00FCnschte Eigenschaften gepr\u00FCft werden."@de ;
	rdfs:comment	"Die Temporale Logik der Aktionen (TLA) ist eine Weiterentwicklung der Temporalen Logik (engl. temporal logic) und der Logik der Aktionen (engl. logic of actions). Sie wurde von Leslie Lamport entwickelt. Die Temporale Logik der Aktionen geh\u00F6rt zur Aussagenlogik (engl. propositional logic) und wird in der Informatik zur Spezifikation, Argumentation und Verfikation von Systemen (z. B. Programmen) verwendet."@de ,
		"Temporal logic of actions (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions. It is used to describe behaviours of concurrent systems. Statements in temporal logic of the form &lt;math&gt;[A]_t&lt;/math&gt;, where A is an action and t contains a subset of the variables appearing in A. An action is an expression containing primed and non-primed variables, such as &lt;math&gt;x+x'*y=y'&lt;/math&gt;."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns9:	<http://dbpedia.org/resource/Category:> .
dbpedia:Temporal_logic_of_actions	skos:subject	ns9:Formal_methods .
@prefix ns10:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Temporal_logic_of_actions	dbpprop:hasPhotoCollection	ns10:Temporal_logic_of_actions .
dbpedia:Temporal_Logic_of_Actions	dbpprop:redirect	dbpedia:Temporal_logic_of_actions .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:Temporal_logic_of_actions	owl:sameAs	dbpedia:Temporal_logic_of_actions .