L. S. Barbosa. Components as processes: An exercise in coalgebraic modeling. In S. F. Smith and C. L. Talcott, editors, FMOODS'2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
LPS: A Language Prototyping System Using Modular.. - Gayo, Díez.. (2001) (3 citations) (Correct)
....specification. That approach should be applied to other types of monad transformers in order to prove the correctness of the system. It would be interesting to study the combination of algebras, coalgebras, monads and comonads to provide the semantics of interactive and object oriented features [4,24,23,29,49]. Another line of research is the automatic derivation of compilers from the obtained interpreters. This line has already been started in [13,14] LPS allows the definition of a language from reusable semantic building blocks. In [8] the same problem is solved in the Action Semantics framework. ....
L. S. Barbosa. Components as processes: An exercise in coalgebraic modeling. In S. F. Smith and C. L. Talcott, editors, FMOODS'
Process Calculi à la Bird-Meertens - Barbarosa (2001) Self-citation (Barbosa) (Correct)
....engineering problem. Moreover, processes and data become expressible in programming languages supporting categorical types, such as Charity [7] providing a convenient way to prototype processes and compare alternative design decisions. This builds on the author previous work on component algebras [3]. Proofs are carried out in a purely calculational (basically equational and pointfree) style, therefore circumventing the explicit construction of bisimulations used in most of the literature on process calculi. In particular, a conditional fusion result is proved to handle conditional ....
L. S. Barbosa. Components as processes: An exercise in coalgebraic modeling. In S. F. Smith and C. L. Talcott, editors, FMOODS'2000 - Formal Methods for Open Object-Oriented Distributed Systems, pages 397-417, Stanford, USA, September 2000. Kluwer Academic Publishers.
On Refinement of Generic Software Components - Meng, Barbosa (2003) (Correct)
No context found.
L. S. Barbosa. Components as processes: An exercise in coalgebraic modeling. In S. F. Smith and C. L. Talcott, editors, FMOODS'2000.
Reusable Monadic Semantics of Object Oriented Programming.. - Gayo, Lovelle, Diez, Rio (Correct)
No context found.
L. S. Barbosa. Components as processes: An exercise in coalgebraic modeling. In S. F. Smith and C. L. Talcott, editors, FMOODS'2000 - Formal Methods for Open Object-Oriented Distributed Systems, pages 397--417, Stanford, USA, September 2000. Kluwer Academic Publishers.
Coalg_{KPF}: Towards a Coalgebraic Calculus for.. - Meng, Aichernig (Correct)
No context found.
L. S. Barbosa. Components as processes: An exercise in coalgebraic modeling. In Scott F. Smith and Carolyn L. Talcott, editor, Formal Methods for Open Object-Based Distributed Systems IV,IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000.
A Language Prototyping Tool Based on Semantic Building.. - Gayo, Lovelle, Diez.. (2001) (Correct)
No context found.
L. S. Barbosa. Components as processes: An exercise in coalgebraic modeling. In S. F. Smith and C. L. Talcott, editors, FMOODS'2000 - Formal Methods for Open Object-Oriented Distributed Systems, pages 397--417, Stanford, USA, September 2000. Kluwer Academic Publishers.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC