Search results: Sage Journals

Available accessResearch articleFirst published November, 2002

Process Algebra with Nonstandard Timing

Kees A. Middelburg

Fundamenta Informaticae

Available accessResearch articleFirst published April, 2001

Damas P. Gruska, Andrea Maggiolo-Schettini

Fundamenta Informaticae

Open accessResearch articleFirst published 2021

J.A. Bergstra, C.A. Middelburg

Fundamenta Informaticae

Available accessResearch articleFirst published February, 2011

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani

Fundamenta Informaticae

Available accessResearch articleFirst published July, 2004

Jan A. Bergstra, Cornelis A. Middelburg

Fundamenta Informaticae

Available accessResearch articleFirst published October, 2007

Xu Wang, Marta Kwiatkowska

Fundamenta Informaticae

Available accessResearch articleFirst published July, 1999

Flavio Corradini, Domenicantonio D'Ortenzio, Paola Inverardi

Fundamenta Informaticae

Available accessResearch articleFirst published 2017

J.A. Bergstra, C.A. Middelburg

Fundamenta Informaticae

Retricted accessResearch articleFirst published 1986

J.C.M. Baeten, J.A. Bergstra, J.W. Klop

Fundamenta Informaticae

Available accessResearch articleFirst published January 1, 2001

P.Y.A. Ryan, S.A. Schneider

Journal of Computer Security