Record Beta

Formal Techniques for Networked and Distributed Systems / Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE)

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

rdf:type	portal:Conference
schema:location	Tallinn (wd:Q1770)
rdfs:label	Formal Techniques for Networked and Distributed Systems / Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE)
portal:acronym	FORTE
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Tallinn
portal:country	Estonia
portal:endDate	2007-06-29
portal:keyword	?CRL
portal:keyword	BDD
portal:keyword	Choreography
portal:keyword	Concurrency
portal:keyword	Erlang
portal:keyword	Hit-or-Jump
portal:keyword	Object Oriented
portal:keyword	asynchronous distributed systems
portal:keyword	compensation
portal:keyword	exception handling
portal:keyword	extended finite state machines
portal:keyword	finalization
portal:keyword	global property
portal:keyword	inconsistency handling
portal:keyword	modal logic
portal:keyword	model checking of traces
portal:keyword	negotiation
portal:keyword	non-prioritized belief revision
portal:keyword	object class hierarchy
portal:keyword	object classes
portal:name	Formal Techniques for Networked and Distributed Systems / Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE)
portal:portalPage	http://portal.confref.org/list/forte2007
portal:series	https://id.confref.org/data/confref-portal/series/forte
portal:startDate	2007-06-27
portal:submissionExtended	false
portal:year	2007
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/forte/forte2007

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