Titlebook: CONCUR‘93; 4th International Co Eike Best Conference proceedings 1993 Springer-Verlag Berlin Heidelberg 1993 Automata.Automaten.CONCUR‘93.C

Obedient

受人支配

mastoid-bone

bromide

Pandemic

整体

,On the reduction of chocs bisimulation to π-calculus bisimulation,ere is a simple definition of bisimulation for . which satisfies natural laws and congruence rules, moreover the synchronization trees associated to . processes are finitely branching. We propose . as an intermediate step towards the definition of a tool for the verification of Chocs bisimulation.

用不完

Instrumental

Conference proceedings 1993the CONCURconferences is to communicate advances in concurrencytheoryand applications.The volume contains 31 papers selected from 113submissions,together with four invited papers and two abstractsofinvited talks. The invited talks are: "The lambda-calculuswithmultiplicities" (extended abstract) by G

可行

Aldo Clerico MD,Michele Emdin MD, PhDA multiset (or Petri net) semantics is defined for the .-calculus with replication. The semantic mapping is a strong bisimulation, and structurally congruent processes have the same semantics.

鬼魂