Wyniki wyszukiwania:

Recently, stochastic process algebras have been used for modeling biological systems, as they provide a simple, compositional language to define biological models. Classical process algebras, however, require to express everything in terms of communications, a limiting restriction when structured information needs to be processed. In this book, we tackle this problem using a more general language and programming it to deal with the domain of interest. Specifically, we introduce a stochastic extension (sCCP) of Concurrent Constraint Programming. It is precisely the use of constraints that...