We explore asynchronous programming with algebraic effects. complement their conventional synchronous treatment by showing how to naturally also accommodate asynchrony within them, namely, decoupling the execution of operation calls into signalling that an operation’s implementation needs be executed, and interrupting a running computation result, which can react installing interrupt handlers. ...

the populations of wild carp (cyprinus carpio carpio), as a commercially valuable species in the southeast iranian waters of the caspian sea, have been severely declined during last three decades, but there is no comprehensive research available on the biology of this species in this area. the age, growth and reproductive aspects of samples collected during 2009-2010 fishing season were measure...

A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...

Two solutions to the MUTEX-problem are compared w.r.t. their temporal eeciency. For this, a formerly developed eeciency testing for asynchronous systems is adapted to Petri nets with so-called read arcs. Furthermore, a com-positional semantics for fair behaviour (in the sense of the progress assumption) is presented. On the one hand, this semantics is related to eeciency testing; on the other h...

Asynchronous circuit design has been studied for decades, but it has only recently been feasible to construct large and e cient asynchronous systems. This paper surveys di erent techniques for checking whether an asynchronous circuit has fabrication defects. The inherent di erences between asynchronous and synchronous circuits, primarily that asynchronous circuits do not have a global clock, ne...