Abstract Labeled state-to-function övergångssystem, FuTS för kort, tillåter flera övergångssystem från stater till funktioner ändligt stöd över allmänna semirings. Som sådana utgör de ett praktiskt modellinstrument för att hantera stokastiska processspråk. I detta dokument behandlas begreppet bisimulation som framkallas av en FuTS ur kolgebraisk synvinkel. Ett korrespondensresultat är bevisat att FuTS-bisimulation sammanfaller med beteendelikvärdigheten hos den tillhörande functor. Som generiska exempel är de konkreta befintliga ekvivalenserna för kärnan i de stokastiska processerna algebras PEPA och IML relaterade till bisimuleringen av specifika FuTS, med hjälp av korrespondensresultatet kolgebraisk motivering av ekvivalenserna för dessa kalkyler.
I REF behandlas begreppet bisimulation som induceras av FUTS ur ett kolgebraiskt perspektiv.
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages
{'venue': 'EPTCS 93, 2012, pp. 23-43', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}