1、中山大學(xué)碩士學(xué)位論文基于雙代數(shù)的進程語義研究姓名：陳鶴群申請學(xué)位級別：碩士專業(yè)：計算機軟件與理論指導(dǎo)教師：周曉聰20060501Title：Major：Name：SupervisorBialgebraicSemanticsforProcessesComputerSoftwareandTheoryChenHequnZhouXiaocongIAssociateProfessorAbstractIIIAbialgebraconsistsofa

2、nalgebracoalgebrapairwithacommoncarrierItcombinethenotionofconstructionandthenotionofobservationIncomputerscience，mostobjectsareconstructiveandhaveobservablebehaviors，suchasprogram，process，automaton，etcTheyca／lbestudiedt

3、hroughthemethodsofbialgebraBialgebrmcmethodswereprovedtobeaeffectivewaytoinvestigatetherelationshipbetweenstaticstructureanddynamicalbehaviorofstatebasedsystemsThesyntaxofaprogramminglanguageisainitialalgebralwhilethesem

4、anticsofthislanguageisafinalcoalgebraApairofbialgebracanbeconstructedbygivenacoalgebraoninitialalgebra，andaalgebraonfinalcoalgebraIfthebialgebrapairsareconstructedunderthesamefunctor，thepropertiesofinitialalgebraandfinal

5、coalgebracallbeusedtoinvestigatethesemanticsofprogramThiswayisanewideainthetheoryofcoalgebra，andhasbeenappliedinthestudiesofoperationalsemanticsanddenotationalsemanticsforprocess，automaton，etcProcessCanbeconsideredasbial

6、gebra：Asaalgebra，itssyntaxexpressionsaretermsofcertainsignature；Asacoalgebra，itsdynamicalbehaviorcanbeobservedthroughthetransitionofinternalstateThus，thesemanticsofprocesscanbeinvestigatedbybialgebraInthispaper，thesemant

7、icsofprocessarestudiedbyusingthebialgebralcmethodsFirstlythebialgebraframeworkintroducedbyJRuttenaregivenincludingtheconditionsunderwhichinitialalgebrasemanticsandfinalcoalgebrasemanticscoincideSecondlyaCCSlikeprocessalg