11066 search results - page 130 / 2214 » Linearity in Process Languages |
ICALP
2009
Springer
14 years 8 months ago
2009
Springer
UML
2004
Springer
14 years 1 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— Given a fixed network where each node has some given initial value, and under the constraint that each node receives noisy transmissions from its immediate neighbors, we provi...
LICS
1990
IEEE
14 years 7 days ago
1990
IEEE
This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two ...
LNCS
1993
14 years 9 days ago
1993