1557 search results - page 8 / 312 » Programming up to Congruence |
VLDB
1990
ACM
15 years 2 months ago
1990
ACM
ASIAN
1998
Springer
15 years 2 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
SIGSOFT
1994
ACM
15 years 2 months ago
1994
ACM
Program slicing is a fundamental operation for many software engineering tools. Currently, the most efficient algorithm for interprocedural slicing is one that uses a program repr...
JAIR
1998
14 years 10 months ago
1998
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
105
click to vote
IFIP
2010
Springer
14 years 5 months ago
2010
Springer
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...