<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Luis Soares Barbosa</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Maria Chiara Meo</style></author><author><style face="normal" font="default" size="100%">Manuel Vilares Ferro</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Prototyping Processes</style></title><secondary-title><style face="normal" font="default" size="100%">Joint Conference on Declarative Programming - AGP</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1999</style></year><pub-dates><date><style  face="normal" font="default" size="100%">September</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/lsb/files/10.1.1.23.4377.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">APPIA-GULP-PRODE</style></publisher><pub-location><style face="normal" font="default" size="100%">L'Aquila, Italy</style></pub-location><pages><style face="normal" font="default" size="100%">513-528</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Construction and observation are two basic notions in Computer Science corresponding to precise dual mathematical concepts: those of algebra and coalgebra. This paper introduces a simple coalgebraic model for concurrent processes and discusses its animation in the declarative language Charity. It is argued that the ability to reason in an uniform way about data and behaviour, provides an unifying approach to functional prototyping of software specifications. Keywords: Coalgebraic models, prototyping, higher-order programming.&lt;/p&gt;
</style></abstract></record></records></xml>