CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Publications  \  Technical Report Page Login  
   
banner bottom
File Top
A Coalgebraic Characterization of Behaviours in the Linear Time -- Branching Time Spectrum
Abstract:

The paper outlines an approach for characterizing several kinds of behaviours for transition systems in coalgebraic terms and illustrates the approach with some behaviours in the linear time -- branching time spectrum, namely, traces, ready-traces and failures.


URL: http://ctp.di.fct.unl.pt/~lm/publications/tr4-2008.pdf

Institution: Departamento de Informática FCT/UNL ( Portugal )

Number: UNL-DI 4-2008

Date: September, 2008


Authors:
File Bottom