2944 search results - page 53 / 589 » On Well Quasi-orders on Languages |
106
click to vote
BIRTHDAY
2000
Springer
15 years 4 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
TOOLS
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper introduces Jade Bird Component Description Language (JBCDL) which is a part of Jade Bird Component Library (JBCL). JBCDL is based on Jade Bird Component Model (JBCOM). ...
ALT
1997
Springer
15 years 4 months ago
1997
Springer
An index for an r.e. class of languages (by definition) generates a sequence of grammars defining the class. An index for an indexed family of languages (by definition) generat...
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
130
click to vote
AWPN
2008
15 years 1 months ago
2008
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...