?url_ver=Z39.88-2004&rft_id=Technical+report+TR-05-17.&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F179%2F&rft.title=A+Compositional+Coalgebraic+Model+of+Monadic+Fusion+Calculus&rft.creator=Buscemi%2C+Maria+Grazia&rft.creator=Montanari%2C+Ugo&rft.subject=QA75+Electronic+computers.+Computer+science&rft.description=We+propose+a+compositional+coalgebraic+semantics+of+the+Fusion+calculus+of+Parrow+and+Victor+in+the+version+with+explicit+fusions+by+Gardner+and+Wischik.+We+follow+a+recent+approach+developed+by+the+same+authors+and+previously+applied+to+the+pi-calculus+for+lifting+calculi+with+structural+axioms+to+bialgebraic+models.+In+our+model%2C+the+unique+morphism+to+the+final+bialgebra+induces+a+bisimilarity+relation+which+coincides+with+hyperequivalence+and+which+is+a+congruence+with+respect+to+the+operations.+Interesting+enough%2C+the+explicit+fusion+approach+allows+to+exploit+for+the+Fusion+calculus+essentially+the+same+algebraic+structure+used+for+the+pi-calculus.+&rft.publisher=Universit%C3%A0+di+Pisa%2C+Dipartimento+di+Informatica&rft.date=2005-06-15&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.identifier=++Buscemi%2C+Maria+Grazia+and+Montanari%2C+Ugo++A+Compositional+Coalgebraic+Model+of+Monadic+Fusion+Calculus.++Technical+Report+++Universit%C3%A0+di+Pisa%2C+Dipartimento+di+Informatica+++++++++&rft.relation=http%3A%2F%2Fcompass2.di.unipi.it%2FTR%2FFiles%2FTR-05-17.ps.gz&rft.relation=Technical+report+TR-05-17.