S. Arun-Kumar

20 papers B 2C 2Misc 1Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2022 Misc conf
Extending Process Algebra with an Undefined Action.
TASE
S. Arun-Kumar
2016 — conf
Decompiling Boolean Expressions from Java™ Bytecode.
ISEC
Mangala Gowri Nanda, S. Arun-Kumar
2013 — conf
On Efficiency Preorders.
FSEN
Manish Gaur, S. Arun-Kumar
2006 — ed.
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings
FSTTCS
S. Arun-Kumar, Naveen Garg
2006 B conf
On Bisimilarities Induced by Relations on Actions.
SEFM
S. Arun-Kumar
2005 C conf
Amortised Bisimulations.
FORTE
Astrid Kiehn, S. Arun-Kumar
2005 — conf
Flexible Communication of Agents based on FIPA-ACL.
FSEN
M. Jamshid Bagherzadeh, S. Arun-Kumar
2004 C conf
A Logical Characterization of Efficiency Preorders.
ICTAC
Neelesh Korade, S. Arun-Kumar
2004 — conf
A Multi-agent Framework Based on Communication and Concurrency.
IWDC
M. Jamshid Bagherzadeh, S. Arun-Kumar
2004 B conf
Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals.
LPAR
M. Jamshid Bagherzadeh, S. Arun-Kumar
2002 — ch.
Introduction to Operational Semantics.
The Compiler Design Handbook
Sanjiva Prasad, S. Arun-Kumar
2000 — conf
Reflecting BDDs in Coq.
ASIAN
Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar
1996 — conf
Testing Processes for Efficiency.
FSTTCS
Kamal Jain, S. Arun-Kumar
1995 — conf
Conformance: A Precongruence close to Bisimilarity.
STRICT
S. Arun-Kumar, V. Natarajan
1992 J jnl
An Efficiency Preorder for Processes.
Acta Informatica
S. Arun-Kumar, Matthew Hennessy
1991 — conf
An Efficiency Preorder for Processes.
TACS
S. Arun-Kumar, Matthew Hennessy
1988 J jnl
Compositional Semantics for Real-Time Distributed Computing
Inf. Comput.
Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
1986 — conf
A Characterization of Asynchronous Message-Passing.
FSTTCS
S. R. Goregaokar, S. Arun-Kumar
1985 — conf
Compositional Semantics for Real-time Distributed Computing.
Logic of Programs
Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
1985 J jnl
Fair Derivations in E0L Systems.
Inf. Process. Lett.
K. Rangarajan, S. Arun-Kumar