About: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Documentation

scienceplus.abes.fr version Bêta

scienceplus.abes.fr | explorer

À propos de : Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) Goto Sponge NotDistinct Permalink

Attributs	Valeurs
type	Concept
skos:inScheme	MSC 2010
broader concept	Theory of computing
skos:prefLabel	Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) Modelli e metodi per il calcolo concorrente e distribuito (algebre di processo, bisimulazione, reti di transizione ecc.) 并行和分布计算的模型和方法(进程代数、双模拟、转移网等)
skos:exactMatch	http://msc2010.org/resources/MSC/2000/68Q85
skos:notation	68Q85
is rdfs:seeAlso of	Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
is Subject of	Deciding knowledge in security protocols under some e-voting theories Analyzing the dynamics of deterministic systems from a hypergraph theoretical point of view Semi-commutations and Partial commutations Calculi of net structures and sets are similar A Coalgebraic Semantics of Subtyping On the Analysis of Petri Nets and their Synthesis from Process Languages Bisimulation on speed: Lower time bounds Construction of Very Hard Functions for Multiparty Communication Complexity Regular and linear permutation languages Parameterizing higher-order processes on names and processes
is narrower concept of	Theory of computing
is http://msc2010.org...0/msc2010#seeAlso of	Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
is skos:semanticRelation of	Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata