Sciweavers

ACTA
2007
90views more  ACTA 2007»
13 years 11 months ago
Well-structured languages
Abstract This paper introduces the notion of well-structured language. A wellstructured language can be defined by a labelled well-structured transition system, equipped with an u...
Gilles Geeraerts, Jean-François Raskin, Lau...