Up to date results Fast conference prceedings State-of-the-art report
Ana Cavalcanti
CSP LA XML algorithms ants arithmetic operations category theory coalgebra component based system concurrency fault tolerance formal desc high level petri nets logic testing