203 search results - page 1 / 41 » A Linear Metalanguage for Concurrency |
121
Voted
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
175
Voted
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
107
Voted
CONCURRENCY
2010
15 years 6 months ago
2010
129
Voted
CONCURRENCY
2008
15 years 6 months ago
2008
163
Voted
CSL
2009
Springer
16 years 29 days ago
2009
Springer
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...