نتائج البحث

Fast mutual exclusion by the Triangle algorithm

• Authors : Hesselink, Willem; Buhr, Peter; Dice, David

Subjects: CONCURRENT PROGRAMMING CONTROL; performance experiment; software solutions

• Source: Hesselink , W , Buhr , P & Dice , D 2018 , ' Fast mutual exclusion by the Triangle algorithm ' , Concurrency and Computation , vol. 30 , no. 4 , e4183 . https://doi.org/10.1002/cpe.4183

تفاصيل العنوان

Additional comments on a problem in concurrent programming control

• Authors : Bruijn, de, N.G.

• Source: Bruijn, de , N G 1967 , ' Additional comments on a problem in concurrent programming control ' , Communications of the ACM , vol. 10 , no.

تفاصيل العنوان

Additional comments on a problem in concurrent programming control

• Authors : Bruijn, de, N.G.

• Source: Bruijn, de , N G 1967 , ' Additional comments on a problem in concurrent programming control ' , Communications of the ACM , vol. 10 , no.

تفاصيل العنوان

Engineering simulations for cancer systems biology

• Authors : Bown, James L.; Andrews, Paul S.; Deeni, Yusuf Y.

Subjects: Argumentation; Cellular signalling; Concurrent programming

• Source: Bown , J L , Andrews , P S , Deeni , Y Y , Goltsov , A , Idowu , M A , Polac , F A C , Sampson , A T , Shovman , M & Stepney , S 2012 , ' Engineering simulations for cancer systems biology ' , Current

تفاصيل العنوان

Nonatomic dual bakery algorithm with bounded tokens

• Authors : Aravind, Alex A.; Hesselink, Wim H.

Subjects: MUTUAL EXCLUSION PROBLEM; CONCURRENT PROGRAMMING PROBLEM; INTERPROCESS COMMUNICATION

• Source: Aravind , A A & Hesselink , W H 2011 , ' Nonatomic dual bakery algorithm with bounded tokens ' , Acta informatica , vol. 48 , no. 2 , pp. 67-96 . https://doi.org/10.1007/s00236-011-0132-0

تفاصيل العنوان

Knowledge-Based Asynchronous Programming

• Authors : Haan, Hendrik Wietze de; Hesselink, Wim H.; Renardel de Lavalette, Gerard R.

Subjects: unexpected hanging paradox; asynchronicity; semantics of programming languages

• Source: Haan , H W D , Hesselink , W H & Renardel de Lavalette , G R 2004 , ' Knowledge-Based Asynchronous Programming ' , Fundamenta Informaticae , vol. 63 , no. 2-3 , pp.

تفاصيل العنوان

Alice or Bob?:Process polymorphism in choreographies

• Authors : Graversen, Eva; Hirsch, Andrew K.; Montesi, Fabrizio

• Source: Graversen , E , Hirsch , A K & Montesi , F 2024 , ' Alice or Bob? Process polymorphism in choreographies ' , Journal of Functional Programming , vol. 34 , no. 5 , e1 .

تفاصيل العنوان

Towards a Taxonomy for Reversible Computation Approaches

• Authors : Glück, Robert; Lanese, Ivan; Mezzina, Claudio Antares ...

Subjects: Models and languages; Reversible computing; Taxonomy

• Source: Glück , R , Lanese , I , Mezzina , C A , Miszczak , J A , Phillips , I , Ulidowski , I & Vidal , G 2023 , Towards a Taxonomy for Reversible Computation Approaches . in M Kutrib & U Meyer (eds) ,

تفاصيل العنوان

A bunch of sessions:a propositions-as-sessions interpretation of bunched implications in channel-based concurrency

• Authors : Frumin, Dan; D'Osualdo, Emanuele; van den Heuvel, Bas

• Source: Frumin , D , D'Osualdo , E , van den Heuvel , B & Pérez , J A 2022 , ' A bunch of sessions : a propositions-as-sessions interpretation of bunched implications in channel-based concurrency ' ,

تفاصيل العنوان

Fuzzing channel-based concurrency runtimes using types and effects

• Authors : Stiévenart, Quentin; Madsen, Magnus

Subjects: automatic test generation; channels and processes; effect systems

• Source: Stiévenart , Q & Madsen , M 2020 , Fuzzing channel-based concurrency runtimes using types and effects . in Proceedings of the ACM on Programming Languages . OOPSLA edn

تفاصيل العنوان