Process calculus
http://dbpedia.org/resource/Process_calculus an entity of type: WikicatModelsOfComputation
Prozesskalküle (oder auch Prozessalgebren) umfassen eine große Familie von Ansätzen zur formalen Modellierung von nebenläufigen Systemen. Sie erlauben die abstrakte Beschreibung von Interaktion, Kommunikation und Synchronisation zwischen einer Gruppe von unabhängigen Agenten oder Prozessen. Algebraische Gesetze ermöglichen die Analyse oder Umformung von Prozessbeschreibungen. Beispiele für Prozesskalküle sind CSP, , oder der Pi-Kalkül.
rdf:langString
In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes. They also provide algebraic laws that allow process descriptions to be manipulated and analyzed, and permit formal reasoning about equivalences between processes (e.g., using bisimulation). Leading examples of process calculi include CSP, CCS, ACP, and LOTOS. More recent additions to the family include the π-calculus, the ambient calculus, PEPA, the and the join-calculus.
rdf:langString
プロセス計算（プロセスけいさん、英: Process calculus）またはプロセス代数（プロセスだいすう、英: Process algebras）は、計算機科学において並行システムを形式的にモデリングする各種手法の総称。プロセス計算は、独立エージェントやプロセスの集まりにおける相互作用/通信/同期を抽象的に記述するツールである。また、プロセス記述を操作・分析可能にする代数学的規則も提供し、プロセス間の等価性について（双模倣性を使った）形式的推論を可能とする。主な具体例としては、CSP、、 がある。近年ではこれら以外に (英語)、、 などもある。
rdf:langString
Em ciência da computação, cálculo de processos (process calculus) é uma família diversificada de abordagens para modelar formalmente sistemas concorrentes. O cálculo de processos provê uma ferramenta de descrição de alto nível de interações, comunicações e sincronizações entre uma coleção de agentes ou processos independentes. Eles também fornecem leis algébricas que permitem descrições de processos serem manipuladas e analisadas, e permitem a formalização do raciocínio sobre equivalências entre processos (e.g. usando bisimulação). Principais exemplos de cálculo de processos incluem CSP, CCS, ACP, e LOTOS. Adições mais recentes incluíram o π-calculus, o cálculo de ambiente, PEPA, o cálculo de fusão e o join-calculus.
rdf:langString
Исчисление процессов или алгебра процессов — семейство связанных подходов к формальному моделированию параллельных систем. Большой вклад в развитие данного направления теоретической информатики внесли Робин Милнер, разработавший исчисление взаимодействующих систем CCS (Calculus of Communicating Systems) и Энтони Хоар, разработавший теорию взаимодействующих последовательных процессов (Communicating Sequential Processes). Другими примерами являются TCC (англ. timed concurrent constraints), (ACP), LOTOS. Более современными методами являются пи-исчисление, , , и другие.
rdf:langString
在计算机科学中，（或进程代数）是用于形式化建模并发系统的多种相关方法。进程演算提供了具体描述多个独立代理人程序或者是多个进程之间交互、通信、同步的方法，其中包含了对进程操作和分析的描述、以及证明形式化推导进程之间存在等价关系（例如：双向模拟的运用）的代数法则。关于进程演算的典例主要包括CSP、CCS、ACP，和LOTOS。最近新增的演算包括π演算，环境演算，PEPA，融合演算和联接演算。
rdf:langString
Les algèbres de processus sont une famille de langages formels permettant de modéliser les systèmes (informatiques) concurrents ou distribués. Les algèbres de processus fournissent des outils formels permettant principalement de caractériser les interactions entre processus au sein d'un système concurrent ou distribué, les interactions prenant la forme d'échanges de messages. L'étude des algèbres de processus relève de l'informatique théorique, et leurs applications relèvent principalement du génie logiciel, en particulier des systèmes distribués.
rdf:langString
Rachunek procesowy, lub rachunek procesów (ang. process calculus), także algebra procesów (ang. process algebra) – stosowane w informatycznej teorii konkurencji (ang. concurrency theory) zbiorcze określenie na różnorodne podejścia do opisu formalnego modelowania, analizy i tranformacji systemów współbieżnych (równoległych i rozproszonych). Pozwalają na abstrakcyjny opis interakcji, komunikacji i synchronizacji między grupą niezależnych agentów lub procesów. Przykładami rachunku procesowego są:
rdf:langString
rdf:langString
Prozesskalkül
rdf:langString
Algèbre de processus
rdf:langString
プロセス計算
rdf:langString
Process calculus
rdf:langString
Rachunek procesowy
rdf:langString
Cálculo de processos
rdf:langString
Исчисление процессов
rdf:langString
进程演算
xsd:integer
853240
xsd:integer
1098551908
rdf:langString
Prozesskalküle (oder auch Prozessalgebren) umfassen eine große Familie von Ansätzen zur formalen Modellierung von nebenläufigen Systemen. Sie erlauben die abstrakte Beschreibung von Interaktion, Kommunikation und Synchronisation zwischen einer Gruppe von unabhängigen Agenten oder Prozessen. Algebraische Gesetze ermöglichen die Analyse oder Umformung von Prozessbeschreibungen. Beispiele für Prozesskalküle sind CSP, , oder der Pi-Kalkül.
rdf:langString
Les algèbres de processus sont une famille de langages formels permettant de modéliser les systèmes (informatiques) concurrents ou distribués. Les algèbres de processus fournissent des outils formels permettant principalement de caractériser les interactions entre processus au sein d'un système concurrent ou distribué, les interactions prenant la forme d'échanges de messages. L'étude des algèbres de processus relève de l'informatique théorique, et leurs applications relèvent principalement du génie logiciel, en particulier des systèmes distribués. Les différents calculs peuvent se distinguer par différent points : calcul synchrone ou asynchrone, calcul du premier ordre ou d'ordre supérieur (dans le second cas, les messages échangés sont des processus), etc.. Les principaux algèbres de processus utilisés sont :
* CSP (Communicating sequential processes) ;
* CCS ;
* LOTOS (Language Of Temporal Ordering Specification) - norme ISO 8807 ;
* Pi-calcul.
rdf:langString
In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes. They also provide algebraic laws that allow process descriptions to be manipulated and analyzed, and permit formal reasoning about equivalences between processes (e.g., using bisimulation). Leading examples of process calculi include CSP, CCS, ACP, and LOTOS. More recent additions to the family include the π-calculus, the ambient calculus, PEPA, the and the join-calculus.
rdf:langString
プロセス計算（プロセスけいさん、英: Process calculus）またはプロセス代数（プロセスだいすう、英: Process algebras）は、計算機科学において並行システムを形式的にモデリングする各種手法の総称。プロセス計算は、独立エージェントやプロセスの集まりにおける相互作用/通信/同期を抽象的に記述するツールである。また、プロセス記述を操作・分析可能にする代数学的規則も提供し、プロセス間の等価性について（双模倣性を使った）形式的推論を可能とする。主な具体例としては、CSP、、 がある。近年ではこれら以外に (英語)、、 などもある。
rdf:langString
Em ciência da computação, cálculo de processos (process calculus) é uma família diversificada de abordagens para modelar formalmente sistemas concorrentes. O cálculo de processos provê uma ferramenta de descrição de alto nível de interações, comunicações e sincronizações entre uma coleção de agentes ou processos independentes. Eles também fornecem leis algébricas que permitem descrições de processos serem manipuladas e analisadas, e permitem a formalização do raciocínio sobre equivalências entre processos (e.g. usando bisimulação). Principais exemplos de cálculo de processos incluem CSP, CCS, ACP, e LOTOS. Adições mais recentes incluíram o π-calculus, o cálculo de ambiente, PEPA, o cálculo de fusão e o join-calculus.
rdf:langString
Rachunek procesowy, lub rachunek procesów (ang. process calculus), także algebra procesów (ang. process algebra) – stosowane w informatycznej teorii konkurencji (ang. concurrency theory) zbiorcze określenie na różnorodne podejścia do opisu formalnego modelowania, analizy i tranformacji systemów współbieżnych (równoległych i rozproszonych). Pozwalają na abstrakcyjny opis interakcji, komunikacji i synchronizacji między grupą niezależnych agentów lub procesów. Przykładami rachunku procesowego są:
* komunikacyjne procesy sekwencyjne (ang. communicating sequential processes, CSP),
* (ang. calculus of communicating systems, CCS),
* (ang. algebra of communicating processes, ACP),
* (ang. ambient calculus),
* (ang. π-calculus).
rdf:langString
Исчисление процессов или алгебра процессов — семейство связанных подходов к формальному моделированию параллельных систем. Большой вклад в развитие данного направления теоретической информатики внесли Робин Милнер, разработавший исчисление взаимодействующих систем CCS (Calculus of Communicating Systems) и Энтони Хоар, разработавший теорию взаимодействующих последовательных процессов (Communicating Sequential Processes). Другими примерами являются TCC (англ. timed concurrent constraints), (ACP), LOTOS. Более современными методами являются пи-исчисление, , , и другие.
rdf:langString
在计算机科学中，（或进程代数）是用于形式化建模并发系统的多种相关方法。进程演算提供了具体描述多个独立代理人程序或者是多个进程之间交互、通信、同步的方法，其中包含了对进程操作和分析的描述、以及证明形式化推导进程之间存在等价关系（例如：双向模拟的运用）的代数法则。关于进程演算的典例主要包括CSP、CCS、ACP，和LOTOS。最近新增的演算包括π演算，环境演算，PEPA，融合演算和联接演算。
xsd:nonNegativeInteger
19049