<rdf:RDF xmlns:burst="http://xmlns.com/burst/0.1/" xmlns:admin="http://webns.net/mvcb/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:cc="http://web.resource.org/cc/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:swrc="http://swrc.ontoware.org/ontology#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"><channel rdf:about="http://www.bibsonomy.org/burst/user/atrus/event-condition-action"><title>BibSonomy publications for /user/atrus/event-condition-action</title><link>http://www.bibsonomy.org/burst/user/atrus/event-condition-action</link><description>BibSonomy BuRST Feed for /user/atrus/event-condition-action</description><dc:date>2008-08-21T13:08:31+02:00</dc:date><items><rdf:Seq><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/23091aa6d6c124caaea83c766b23a33d0/atrus"/></rdf:Seq></items></channel><item rdf:about="http://www.bibsonomy.org/bibtex/23091aa6d6c124caaea83c766b23a33d0/atrus"><title>Combining ECA Rules with Process Algebras for the Semantic Web</title><link>http://www.bibsonomy.org/bibtex/23091aa6d6c124caaea83c766b23a33d0/atrus</link><dc:creator>atrus</dc:creator><dc:date>2008-05-09T21:07:23+02:00</dc:date><dc:subject>markup algebras, verification, rule semantics, event-condition-action rules, Web, formal semantic Semantic WebECA algebra, process </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Erik &lt;a href=&#034;http://www.bibsonomy.org/author/Behrends&#034;&gt;Behrends&lt;/a&gt;  and Oliver &lt;a href=&#034;http://www.bibsonomy.org/author/Fritzen&#034;&gt;Fritzen&lt;/a&gt;  and Wolfgang &lt;a href=&#034;http://www.bibsonomy.org/author/May&#034;&gt;May&lt;/a&gt;  and Franz &lt;a href=&#034;http://www.bibsonomy.org/author/Schenk&#034;&gt;Schenk&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Rules and Rule Markup Languages for the Semantic Web, Second International Conference on&lt;/em&gt;(&lt;em&gt;2006&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/markup"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/algebras,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/verification,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/rule"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/semantics,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/event-condition-action"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/rules,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Web,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/formal"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/semantic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Semantic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/WebECA"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/algebra,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/process"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/23091aa6d6c124caaea83c766b23a33d0/atrus"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/23091aa6d6c124caaea83c766b23a33d0/atrus"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><swrc:date>Fri May 09 21:07:23 CEST 2008</swrc:date><swrc:journal>Rules and Rule Markup Languages for the Semantic Web, Second International Conference on</swrc:journal><swrc:pages>29-38</swrc:pages><swrc:title>Combining ECA Rules with Process Algebras for the Semantic Web</swrc:title><swrc:year>2006</swrc:year><swrc:keywords>markup algebras, verification, rule semantics, event-condition-action rules, Web, formal semantic Semantic WebECA algebra, process </swrc:keywords><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Erik Behrends"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Oliver Fritzen"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Wolfgang May"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Franz Schenk"/></rdf:_4></rdf:Seq></swrc:author></rdf:Description></burst:publication></item></rdf:RDF>