タグ付けされた質問 「process-algebra」

パイ計算で信頼できるブロードキャストをモデル化できますか？ もしそうなら：どのように？ そうでない場合：同様のプロセス代数が可能な場所はありますか？ 私が試したもの： 送信者の場合はメッセージ送信したいのyを全てにP 1にP nは、あなたが書くことができます ！（¯ X、Y ）。Sおよびx （z ）。P 1のX （Z ）。P nは。しかし、が回複製されること、つまりメッセージが失われないことをどのように保証しますか？事前にがわかりません。関連するすべてのプロセス間でいくつかのメッセージを送受信することでのみ可能ですか？SSSyyyP1P1P_1PnPnP_nx¯¯¯y).Sx¯y).S\overline{x}y).Sx(z).P1x(z).P1x(z).P_1x(z).Pnx(z).Pnx(z).P_nnはn個(x¯¯¯y)(x¯y)(\overline{x}y)nnnnnn ...またはレプリケーションの非決定的な動作を誤解しますか？

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

ロビン・ミルナーは、グラフのような構造を持ちながらノードをネストできるグラフィカル構造の一種として、バイグラフを定義しました。彼らは、CCSのようなプロセス計算と一般 -calculusを、しかし、ミルナーは、はるかに一般的に使用されることを彼らのために意図されているようだ：セミナーノートまもなく彼の死の詳細の前に最近の動向から。ππ\pi 未来ではなく、振り返ってみると、ミルナーの2009年の教科書 「コミュニケーションエージェントの空間と動き」のプロローグは、歴史的背景の多くを提供していません。Milnerは、Mobile AmbientsとPi計算のルーツを明示的に認めました。しかし、このモデルは非常に一般的であるため、古いモデルへの強力なリンクが存在するはずです。 伝記の歴史的な前身はありますか？ 進化するシステムをキャプチャするために使用される方法ではなく、構文要素に焦点を当てた、明白な先例は、AB Kempe、数学フォームの理論に関する覚え書き、ロンドン王立協会の哲学的取引177、1–70、1886です。紙は、頂点とエッジの色付きグラフを導入した可能性があります（以前の使用法については無知ですが、ポインタを歓迎します）。ケンペはまた、ミルナーが考えていたのと同じ種類の一般的な用途のいくつかを持っていたようです。言及すべき先任者は他にいますか？ （編集：さらなる回答を集めることを期待して、これをコミュニティWikiにマークします。）

14 process-algebra  ho.history-overview 

私のバックグラウンドは、複雑性理論/ロジック（ほとんどの場合プロセスが1つだけである）、および分散コンピューティング（プロセスがあり、1つ以上が時間とともに失敗する可能性がある）です。しかし、私はプロセスが別のプロセスを生成/作成/スピンオフすることについて何か言いたいと思っています。並列コンピューティング、オペレーティングシステムなどでこれを説明する厳密さがありますか？nnn 動機： 分子相互作用の特定の特徴を抽象化するモデルを構築しようとしています。化学反応のセットは独立したプロセスであり、特定の時間ステップで別の独立したプロセスが生成されると言いたいと思います。直観的には、これらのものは独立したプロセスのように感じられます。なぜなら、それらは時間後に互いに接触しないか、または「メッセージ」を交換するだけで、接触がほとんどないためです。SSStttS′S′S'ttt より正式には： （1）1つのプロセスが別の独立したプロセスを生成するという概念をキャプチャする既存のCS定義はありますか？私は、が停止してが開始する場所と、それが「合理的」である理由を区別できることに特に興味があります。SSSS′S′S' （2）（1）に複数の答えがある場合、さまざまな定義の長所と短所をどのように考えますか？ （注：これを適切にタグ付けする方法がわからず、回答に応じてタグ付けし直す予定です。）

13 dc.parallel-comp  process-algebra 

しばらくの間、私はプログラミング言語理論とプロセス計算に非常に興味があり、それらを研究し始めました。正直なところ、それはキャリアのために行くことを気にしないものです。私は理論が非常に魅力的であると思います。私が継続的に遭遇する1つの定数の質問は、PL理論またはプロセス計算のいずれかが、現代のプログラミング言語開発においてまったく重要であるかどうかです。Pi微積分には非常に多くのバリアントがあり、多くの活発な研究がありますが、それらは必要になるか、重要なアプリケーションを持つでしょうか？私が尋ねる理由は、プログラミング言語の開発が大好きであり、真の最終目標が実際にPLを構築するために理論を使用することであるからです。私が書いたものについては、理論との相関はまったくありませんでした。

10 pl.programming-languages  process-algebra 

きめの細かい位置情報をキャプチャするプロセス代数的（または関連する）形式を知っている人はいますか？私はアンビエントとバイグラフに精通していますが、これらは明らかに位置モデルを持っていますが、より具体的な位置情報をモデル化して、あるエージェントの位置が（実または仮想）座標空間内で表現されるようにしようとするとどうでしょうか？ 既存の形式を採用し、構成を追加して、適切な抽象化レベルで場所をモデル化することは可能だと思われますが、これが以前の取り組みを連想させるものであれば、不必要にホイールを再発明するのは嫌です。 背景として、アプリケーションドメインは基本的に生物学的モデリングであり、相互作用が発生する場所を管理するためにこのドメインで使用される従来の場所の概念は、関心のあるプロパティをキャプチャするのに十分な粒度ではありません。

8 concurrency  process-algebra  formal-modeling