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/forte2008

rdf:type	portal:Conference
schema:location	Tokyo (wd:Q1490)
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	Tokyo
portal:country	Japan
portal:endDate	2008-06-13
portal:keyword	?CRL
portal:keyword	AACS
portal:keyword	Bisimulation
portal:keyword	Colored Petri Nets
portal:keyword	Coloured Petri Nets
portal:keyword	Composition
portal:keyword	Contract Net Protocol - extension
portal:keyword	Coordination
portal:keyword	Equivalence
portal:keyword	Erlang
portal:keyword	Evaluation
portal:keyword	Event Notification
portal:keyword	Fuzz testing
portal:keyword	Graph theory
portal:keyword	Grid Computing
portal:keyword	Verification
portal:keyword	authenticity
portal:keyword	collusion attack
portal:keyword	cost
portal:keyword	distributed algorithm
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/forte2008
portal:series	https://id.confref.org/data/confref-portal/series/forte
portal:startDate	2008-06-10
portal:submissionExtended	false
portal:year	2008
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/forte2008
cr:sameAs	https://id.confref.org/data/confident/8685

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