Publication
-
Coordination Models Orc and Reo Compared In Proceedings
January 2007 -
January 2007
-
Ownership, Uniqueness and Immutability In Proceedings
January 2007 -
An adaptive attitude bidding strategy for agents in continuous double auctions Article
Electronic Commerce Research and Applications, 6(4), 383-398.January 2007 -
January 2007
-
Coalgebraic automata theory: basic results Tech Report
January 2007
-
A coalgebraic view on bi-infinite streams (Abstract) In Proceedings
January 2007 -
A Characterization of Regular Expressions under Bisimulation Article
Journal of the ACM, 54(2), 1-28.January 2007