946 search results - page 82 / 190 » Process Algebra and Non-Interference |
116
click to vote
AB
2007
Springer
15 years 6 months ago
2007
Springer
What is systems biology? What can biologists gain from an attempt to algebraize the questions in systems biology? Starting with plausible biological theses, can one algebraically m...
148
Voted
HASKELL
2006
ACM
15 years 6 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
116
click to vote
TIME
1994
IEEE
15 years 4 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
CORR
2010
Springer
15 years 22 days ago
2010
Springer
In our previous work (`An Algebraic Watchdog for Wireless Network Coding'), we proposed a new scheme in which nodes can detect malicious behaviors probabilistically, police th...
101
Voted
ENTCS
2006
15 years 19 days ago
2006
Weak bisimilarity is one of the most studied behavioural equivalences. This equivalence is undecidable for pushdown processes (PDA), process algebras (PA), and multiset automata (...