General Refinement and Recursion Operators for the Petri Box Calculus.

Eike Best, Raymond Devillers, Javier Esparza

Browse the full STACS paper archive.