Multidimensional torus topology plays a key role as a topology of the communication system
of supercomputers and clusters as well as networks on chip. An infinite Petri net model of …

Linear Logic is a non-monotonic logic, with semantics that enforce single-use assumptions
thereby allowing native and efficient encoding of domains with dynamic state. Robotic task …

Logic programming has been heralded as the quintessential declarative programming
paradigm, although many instances provide extra-logical constructs that undermine this …