CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Decompositional reasoning about the history of parallel processes

L. Aceto ; Arnar Birgisson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; A. Ingólfsdóttir ; M.R. Mousavi
Lecture Notes in Computer Science: 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, 20-22 April 2011 (0302-9743). Vol. 7141 (2012), p. 32-47.
[Konferensbidrag, refereegranskat]

This paper presents a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. In order to highlight the main ideas and technical tools, processes are described using a subset of CCS with parallel composition, nondeterministic choice, action prefixing and the inaction constant. The study focuses on developing decompositional reasoning techniques for parallel contexts in that language.



Denna post skapades 2015-05-04. Senast ändrad 2016-04-29.
CPL Pubid: 216276

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)

Ämnesområden

Programvaruteknik

Chalmers infrastruktur