Record Beta

Rewriting Logic and Its Applications

https://id.confref.org/data/confref-portal/event/wrla2012

rdf:type	portal:Conference
schema:location	Tallinn (wd:Q1770)
rdfs:label	Rewriting Logic and Its Applications
portal:acronym	WRLA
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Tallinn
portal:country	Estonia
portal:endDate	2012-03-25
portal:keyword	API
portal:keyword	Adaptation
portal:keyword	Cloud computing
portal:keyword	Conformance
portal:keyword	Coverage
portal:keyword	Distributed systems
portal:keyword	Ensembles
portal:keyword	Formal analysis
portal:keyword	Interactive
portal:keyword	Maude
portal:keyword	composite actor model
portal:keyword	coordination languages
portal:keyword	input/output
portal:keyword	narrowing
portal:keyword	property
portal:keyword	rewriting logic
portal:keyword	self-assembly
portal:keyword	swarms
portal:keyword	testing
portal:name	Rewriting Logic and Its Applications
portal:portalPage	http://portal.confref.org/list/wrla2012
portal:series	https://id.confref.org/data/confref-portal/series/wrla
portal:startDate	2012-03-24
portal:submissionExtended	false
portal:year	2012
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	https://dblp.org/db/conf/wrla/wrla2012

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.